On the completeness of order-theoretic models of the \(\lambda \)-calculus
From MaRDI portal
Publication:1021569
DOI10.1016/j.ic.2008.03.027zbMath1167.03013MaRDI QIDQ1021569
Furio Honsell, Gordon D. Plotkin
Publication date: 8 June 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2008.03.027
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Order-incompleteness and finite lambda reduction models
- On a question of H. Friedman
- Applying Universal Algebra to Lambda Calculus
- Lambda Theories of Effective Lambda Models
- Topological incompleteness and order incompleteness of the lambda calculus