Pages that link to "Item:Q4286212"
From MaRDI portal
The following pages link to Inhabitation in Intersection and Union Type Assignment Systems (Q4286212):
Displaying 6 items.
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Inhabitation of types in the simply typed lambda calculus (Q1893725) (← links)
- Strong normalization and typability with intersection types (Q1924327) (← links)
- Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) (← links)
- A unifying framework for type inhabitation (Q4993331) (← links)