Behavioural inverse limit -models

DOI10.1016/J.TCS.2004.01.023MaRDI QIDQ1434350zbMATH OpenOpenAlexFDO

Authors Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, 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

lambda calculusStone dualityintersection typesmodels of lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2003154
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• On the characterization of models of \(\mathcal{H}^*\)
• A behavioural model for Klop's calculus
• On the characterization of models of \(\mathcal H^\ast\): the semantical aspect

Cites work

• scientific article; zbMATH DE number 3831284 (Why is no real title available?)
• scientific article; zbMATH DE number 3889502 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 3513750 (Why is no real title available?)
• scientific article; zbMATH DE number 3532922 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 482822 (Why is no real title available?)
• scientific article; zbMATH DE number 2003154 (Why is no real title available?)
• scientific article; zbMATH DE number 1759417 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A filter lambda model and the completeness of type assignment
• Church-Rosser theorem for typed functional systems
• Complete restrictions of the intersection type discipline
• Domain theory in logical form
• Full abstraction in the lazy lambda calculus
• Intensional interpretations of functionals of finite type I
• Intersection types and domain operators
• Logical relations and the typed λ-calculus
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Strong normalization and typability with intersection types
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Typing and computational properties of lambda expressions
• Typing untyped \(\lambda\)-terms, or reducibility strikes again!

Cited in

(10)

• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Logical semantics for stability
• Recursive Domain Equations of Filter Models
• A behavioural model for Klop's calculus
• Intersection types for the resource control lambda calculi
• scientific article; zbMATH DE number 2003154 (Why is no real title available?)
• Intersection types and lambda models
• An irregular filter model
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Intersection types and domain operators

This page was built for publication: Behavioural inverse limit \(\lambda\)-models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434350)