On the algebraic models of lambda calculus

DOI10.1016/S0304-3975(00)00059-1MaRDI QIDQ1583488zbMATH OpenFDO

Authors Antonino Salibra

Publication date 26 October 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00059-1

zbMATH Keywords

combinatory algebrasinfinitary lambda calculuslambda abstraction algebraslambda calculusuniversal algebra

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1136648
• scientific article; zbMATH DE number 761276
• Lambda abstraction algebras: representation theorems
• scientific article; zbMATH DE number 1333616
• scientific article; zbMATH DE number 1183249

Cites work

• 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
• 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?)
• 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

(30)

• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Nominal unification
• Easiness in graph models
• Construction of the model of the lambda calculus system with algebraic operators
• Nonmodularity results for lambda calculus
• Nominal equational logic
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• scientific article; zbMATH DE number 5872263 (Why is no real title available?)
• Applying universal algebra to lambda calculus
• Resource combinatory algebras
• From λ-Calculus to Universal Algebra and Back
• scientific article; zbMATH DE number 1183249 (Why is no real title available?)
• scientific article; zbMATH DE number 1222100 (Why is no real title available?)
• scientific article; zbMATH DE number 1136648 (Why is no real title available?)
• A Note on Absolutely Unorderable Combinatory Algebras
• The lambda calculus is algebraic
• Numeration Models of λ‐Calculus
• scientific article; zbMATH DE number 3997792 (Why is no real title available?)
• The Lattice of Lambda Theories
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• Towards lambda calculus order-incompleteness
• a-logic with arrows
• Initial algebra semantics for lambda calculi
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• Combinatory logic and lambda calculus are equal, algebraically
• Light genericity
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
• On combinatory algebras and their expansions
• Capture-avoiding substitution as a nominal algebra

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)