The following pages link to Intersection Typed λ-calculus (Q2842843):
Displaying 4 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
