On the equational consistency of order-theoretic models of the lambda-calculus

DOI10.4230/LIPICS.CSL.2012.152zbMATH Open1252.03028OpenAlexW2258774439MaRDI QIDQ4649544FDOQ4649544

Authors: Alberto Carraro, Antonino Salibra 

Publication date: 22 November 2012

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2012.152

Recommendations

• Ordered models of the lambda calculus
• On the completeness of order-theoretic models of the \(\lambda \)-calculus
• Effective λ-models versus recursively enumerable λ-theories
• Lambda Theories of Effective Lambda Models
• Towards lambda calculus order-incompleteness

zbMATH Keywords

lambda calculuspartially ordered modelsorder-incompleteness

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa
• On the completeness of order-theoretic models of the \(\lambda \)-calculus
• Conditions for the completeness of functional and algebraic equational reasoning
• Ordered models of the lambda calculus

This page was built for publication: On the equational consistency of order-theoretic models of the lambda-calculus

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