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

DOI10.4230/LIPICS.CSL.2012.152MaRDI QIDQ4649544zbMATH OpenOpenAlexFDO

Authors Alberto Carraro, Antonino Salibra

Publication date 22 November 2012

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

zbMATH Keywords

lambda calculuspartially ordered modelsorder-incompleteness

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cited in

(4)

• 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
• On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa

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)