Pages that link to "Item:Q2369008"
From MaRDI portal
The following pages link to Intersection types and lambda models (Q2369008):
Displaying 9 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)
- 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)
