The following pages link to (Q3044339):
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)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Foundations of Software Science and Computation Structures (Q5899100) (← links)