Behavioural inverse limit \(\lambda\)-models
From MaRDI portal
Publication:1434350
DOI10.1016/j.tcs.2004.01.023zbMath1055.03014OpenAlexW2050740622MaRDI QIDQ1434350
Silvia Ghilezan, Mariangiola Dezani-Ciancaglini, Silvia Likavec
Publication date: 4 August 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.023
Related Items
Intersection types and lambda models ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ An irregular filter model ⋮ Intersection types and domain operators ⋮ Recursive Domain Equations of Filter Models ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Logical Semantics for Stability ⋮ Intersection Types for the Resource Control Lambda Calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Domain theory in logical form
- Complete restrictions of the intersection type discipline
- Full abstraction in the lazy lambda calculus
- Typing untyped \(\lambda\)-terms, or reducibility strikes again!
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- Intersection types and domain operators
- Typing and computational properties of lambda expressions
- Strong normalization and typability with intersection types
- A filter lambda model and the completeness of type assignment
- Church-Rosser theorem for typed functional systems
- Logical relations and the typed λ-calculus
- Intensional interpretations of functionals of finite type I