Pages that link to "Item:Q1089331"
From MaRDI portal
The following pages link to A characterization of F-complete type assignments (Q1089331):
Displayed 11 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)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- Type inference, abstract interpretation and strictness analysis (Q1314350) (← links)
- \(F\)-semantics for type assignment systems (Q1329739) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Generalized filter models (Q1575259) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)