Similar Items: Inhabitation for Non-idempotent Intersection Types
- Non-idempotent intersection types and strong normalisation
- Idempotents in intensional type theory
- Non-idempotent types for classical calculi in natural deduction style
- Solvability = Typability + Inhabitation
- Intersection Types for the lambda-mu Calculus
- The Algebraic Intersection Type Unification Problem