Similar Items: On sets of terms having a given intersection type
- The Algebraic Intersection Type Unification Problem
- Intersection Types for the lambda-mu Calculus
- Inhabitation for Non-idempotent Intersection Types
- Non-idempotent intersection types and strong normalisation
- Mixin Composition Synthesis based on Intersection Types
- conmat: generate synthetic contact matrices for a given age-stratified population