Pages that link to "Item:Q2752528"
From MaRDI portal
The following pages link to Approximation theorems for intersection type systems (Q2752528):
Displaying 4 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)
- A Type-1 Approximation of Interval Type-2 FLS (Q3638402) (← links)
- The approximation theorem for the Λμ-calculus (Q5268997) (← links)