Behavioural inverse limit \(\lambda\)-models

DOI10.1016/j.tcs.2004.01.023zbMath1055.03014MaRDI 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 duality; lambda calculus; intersection types; models of lambda calculus

Mathematics Subject Classification ID

03B40: Combinatory logic and lambda calculus

Related Items

Recursive Domain Equations of Filter 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, Intersection types and lambda models, Intersection Types for the Resource Control Lambda Calculi, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08

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