Pages that link to "Item:Q2369008"
From MaRDI portal
The following pages link to Intersection types and lambda models (Q2369008):
Displaying 14 items.
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← 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)
- Intersection types and domain operators (Q1434348) (← links)
- Logical semantics for stability (Q2805169) (← links)
- Polar type inference with intersection types and \(\omega\) (Q2842834) (← links)
- Intersection types for light affine lambda calculus (Q2851090) (← links)
- Strict intersection types for the lambda calculus (Q2875057) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- (Q5076061) (← links)
- (Q5089030) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6653755) (← links)
