On the algebraic models of lambda calculus

DOI10.1016/S0304-3975(00)00059-1zbMath0949.68048MaRDI QIDQ1583488

Antonino Salibra

Publication date: 26 October 2000

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

zbMATH Keywords

lambda calculus; universal algebra; lambda abstraction algebras; combinatory algebras; infinitary lambda calculus

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

Related Items

Capture-avoiding substitution as a nominal algebra, A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets, Nominal unification, Easiness in graph models

Cites Work

• Lambda abstraction algebras: representation theorems
• Enlargements of functional algebras for the lambda calculus
• 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
• Algebraization of quantifier logics, an introductory overview
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Infinitary lambda calculus
• The abstract variable-binding calculus
• Lambda‐Calculus Models and Extensionality
• Axiomatization of polynomial substitution algebras
• Data Types as Lattices
• What is a model of the lambda calculus?
• Transformation Algebras
• Cylindric Algebras and Algebras of Substitutions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item