Pages that link to "Item:Q2752528"
From MaRDI portal
The following pages link to Approximation Theorems for Intersection Type Systems (Q2752528):
Displayed 3 items.
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- The approximation theorem for the Λμ-calculus (Q5268997) (← links)