Behavioural inverse limit \(\lambda\)-models

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

zbMATH Keywords

Stone dualitylambda calculusintersection typesmodels of lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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