The following pages link to (Q3024843):
Displaying 7 items.
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- (Q4580327) (← links)
- (Q4840170) (← links)
- Decidability in Intuitionistic Type Theory is Functionally Decidable (Q4888341) (← links)
- Taming the Merge Operator (Q5020905) (← links)