The following pages link to (Q4783322):
Displaying 14 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)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Intersection and union types: Syntax and semantics (Q1893736) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Logical semantics for stability (Q2805169) (← links)
- Intersection typed \(\lambda \)-calculus (Q2842843) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- Intersection Types as Logical Formulae (Q4291035) (← links)
- A logical view of assignments (Q4594258) (← links)
- Intersection types for lambda-terms and combinators and their logics (Q4779581) (← links)
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012 (Q4968488) (← links)
- Kripke Semantics for Intersection Formulas (Q5034223) (← links)
- (Q5089030) (← links)