A finite equational axiomatization of the functional algebras for the lambda calculus

DOI10.1006/inco.1998.2745zbMath0920.03025OpenAlexW2021900929MaRDI QIDQ1283777

Robert Goldblatt, Antonino Salibra

Publication date: 9 September 1999

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/305aa194da6be7d0e62e90ced414b0a50dd8883e

zbMATH Keywords

lambda calculusequational theoryvariety of algebrascombinatory algebraslambda modelsenvironment modelsabstract substitutionequations between contextsfinite equational axiomatizationfunctional lambda abstraction algebrasinfinitary lambda calculus

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)

Related Items (5)

An algebraic theory of clones ⋮ Enlargements of functional algebras for the lambda calculus ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Infinite \(\lambda\)-calculus and types ⋮ On the algebraic models of lambda calculus

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
• 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?
• Explicit substitutions
• 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

This page was built for publication: A finite equational axiomatization of the functional algebras for the lambda calculus