Towards lambda calculus order-incompleteness
From MaRDI portal
Recommendations
- Topological incompleteness and order incompleteness of the lambda calculus
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- Ordered models of the lambda calculus
- Effective λ-models versus recursively enumerable λ-theories
- scientific article; zbMATH DE number 4087629
Cites work
- scientific article; zbMATH DE number 2185665 (Why is no real title available?)
- scientific article; zbMATH DE number 3889502 (Why is no real title available?)
- scientific article; zbMATH DE number 3813583 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 1183249 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3783068 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 46869 (Why is no real title available?)
- scientific article; zbMATH DE number 3572729 (Why is no real title available?)
- scientific article; zbMATH DE number 3594646 (Why is no real title available?)
- scientific article; zbMATH DE number 1142322 (Why is no real title available?)
- scientific article; zbMATH DE number 906954 (Why is no real title available?)
- scientific article; zbMATH DE number 3280068 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- scientific article; zbMATH DE number 3335736 (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
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Algebras and combinators
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- Data Types as Lattices
- Domain theory in logical form
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- Full abstraction in the lazy lambda calculus
- Isomorphism and equational equivalence of continuous \(\lambda\)-models
- Lambda abstraction algebras: representation theorems
- Localisation and interaction in one dimension
- Nonmodularity results for lambda calculus
- On a question of H. Friedman
- On the algebraic models of lambda calculus
- On the construction of stable models of untyped -calculus
- Order-incompleteness and finite lambda reduction models
- Separation in topological algebras
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
- The abstract variable-binding calculus
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The system \({\mathcal F}\) of variable types, fifteen years later
- Topological equivalents to n-permutability
- Topological implications in n-permutable varieties
- Topological implications in varieties
- Varieties Obeying Homotopy Laws
- What is a model of the lambda calculus?
Cited in
(10)- On the equational consistency of order-theoretic models of the lambda-calculus
- Topological incompleteness and order incompleteness of the lambda calculus
- Completeness of transfinite evaluation in an extension of the lambda calculus
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- On the completeness of order-theoretic models of the \(\lambda \)-calculus
- scientific article; zbMATH DE number 4087629 (Why is no real title available?)
- Order-incompleteness and finite lambda reduction models
- A transfinite Knuth-Bendix order for lambda-free higher-order terms
- On types of continuity of functions and their properties with respect to partially ordered sets
- Ordered models of the lambda calculus
This page was built for publication: Towards lambda calculus order-incompleteness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4916175)
