Relationships between logical frameworks (1992)

by E Astesiano, M Cerioli
Venue:Recent Trends in Data Type Speci