Pages that link to "Item:Q4934035"
From MaRDI portal
The following pages link to The emptiness problem for intersection types (Q4934035):
Displayed 4 items.
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- Recognizability in the Simply Typed Lambda-Calculus (Q3638274) (← links)