Pages that link to "Item:Q1110311"
From MaRDI portal
The following pages link to Principal type scheme and unification for intersection type discipline (Q1110311):
Displayed 9 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)
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Type inference, abstract interpretation and strictness analysis (Q1314350) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)