The following pages link to Intersection-types à la Church (Q2381503):
Displaying 23 items.
- Bridging Curry and Church's typing style (Q334149) (← links)
- 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)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Intersection types for combinatory logic (Q1199823) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- A decidable subtyping logic for intersection and union types (Q1698759) (← links)
- Infinite intersection types (Q1887155) (← links)
- Embedding a second-order type system into an intersection type system (Q1892875) (← links)
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Intersection typed \(\lambda \)-calculus (Q2842843) (← links)
- Towards an intersection typed system à la Church (Q2851086) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Intersection types for λGtz-calculus (Q3510443) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- (Q3629238) (← links)
- Refinement Types as Proof Irrelevance (Q3637193) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- A classification of intersection type systems (Q4532620) (← links)
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012 (Q4968488) (← links)
- (Q5089030) (← links)
