Relationships between logical frameworks (1993)

by E Astesiano, M Cerioli
Venue:Recent Trends in Data Type Specification, Proc. Workshop on Specification of Abstract Data Types ADT’91, volume 655 of Lecture Notes in Computer Science