Relationships between Logical Frameworks.

Egidio Astesiano, Maura Cerioli

Browse the full COMPASS paper archive.