The following pages link to (Q4708431):
Displaying 10 items.
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- How to think of intersection types as Cartesian products (Q1744395) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- On isomorphisms of intersection types (Q2946613) (← links)
- Disjoint intersection types (Q2985786) (← links)
- (Q3024843) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Type structures (Q3760531) (← links)