Pages that link to "Item:Q2842843"
From MaRDI portal
The following pages link to Intersection typed \(\lambda \)-calculus (Q2842843):
Displaying 20 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)
- A system at the cross-roads of functional and logic programming (Q1208425) (← links)
- Infinite intersection types (Q1887155) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- A Translation of Intersection and Union Types for the λμ-Calculus (Q2789043) (← links)
- Polar type inference with intersection types and \(\omega\) (Q2842834) (← links)
- Towards an intersection typed system à la Church (Q2851086) (← links)
- Intersection types for light affine lambda calculus (Q2851090) (← links)
- Strict intersection types for the lambda calculus (Q2875057) (← links)
- Isomorphism of "Functional" Intersection Types (Q2968414) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Intersection types for λGtz-calculus (Q3510443) (← links)
- A classification of intersection type systems (Q4532620) (← links)
- (Q4699351) (← links)
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012 (Q4968488) (← links)
- Linearization of the lambda-calculus and its relation with intersection type systems (Q5692152) (← links)
