On the algebraic models of lambda calculus
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3811536 (Why is no real title available?)
- scientific article; zbMATH DE number 3813583 (Why is no real title available?)
- scientific article; zbMATH DE number 3961577 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 4048997 (Why is no real title available?)
- scientific article; zbMATH DE number 956467 (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 46869 (Why is no real title available?)
- scientific article; zbMATH DE number 67044 (Why is no real title available?)
- scientific article; zbMATH DE number 3639689 (Why is no real title available?)
- scientific article; zbMATH DE number 1222100 (Why is no real title available?)
- scientific article; zbMATH DE number 1333616 (Why is no real title available?)
- scientific article; zbMATH DE number 1333619 (Why is no real title available?)
- scientific article; zbMATH DE number 761276 (Why is no real title available?)
- scientific article; zbMATH DE number 937379 (Why is no real title available?)
- scientific article; zbMATH DE number 3280068 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3400430 (Why is no real title available?)
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Algebraization of quantifier logics, an introductory overview
- Axiomatization of polynomial substitution algebras
- Cylindric Algebras and Algebras of Substitutions
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
- Data Types as Lattices
- Enlargements of functional algebras for the lambda calculus
- Infinitary lambda calculus
- Lambda abstraction algebras: representation theorems
- Lambda‐Calculus Models and Extensionality
- The abstract variable-binding calculus
- Transformation Algebras
- What is a model of the lambda calculus?
Cited in
(28)- From λ-Calculus to Universal Algebra and Back
- Combinatory logic and lambda calculus are equal, algebraically
- A Note on Absolutely Unorderable Combinatory Algebras
- Resource combinatory algebras
- Nominal equational logic
- Initial algebra semantics for lambda calculi
- The lambda calculus is algebraic
- Numeration Models of λ‐Calculus
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
- scientific article; zbMATH DE number 1183249 (Why is no real title available?)
- The Lattice of Lambda Theories
- Construction of the model of the lambda calculus system with algebraic operators
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- On combinatory algebras and their expansions
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Towards lambda calculus order-incompleteness
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- Nominal unification
- scientific article; zbMATH DE number 5872263 (Why is no real title available?)
- Applying universal algebra to lambda calculus
- scientific article; zbMATH DE number 3997792 (Why is no real title available?)
- Capture-avoiding substitution as a nominal algebra
- Light genericity
- Nonmodularity results for lambda calculus
- scientific article; zbMATH DE number 1222100 (Why is no real title available?)
- Easiness in graph models
- scientific article; zbMATH DE number 761276 (Why is no real title available?)
- \(a\)-logic with arrows
This page was built for publication: On the algebraic models of lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583488)
