The following pages link to Intersection-types à la Church (Q2381503):
Displayed 8 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)
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Refinement Types as Proof Irrelevance (Q3637193) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- (Q5089030) (← links)