A finite equational axiomatization of the functional algebras for the lambda calculus
type: Item
instance of: scholarly article
title: A finite equational axiomatization of the functional algebras for the lambda calculus
zbMATH Open document ID: 0920.03025
author: Antonino Salibra
author: Robert Goldblatt
published in: Information and Computation
publication date: 1999-09-09T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 1271055
zbMATH Keywords: equations between contexts
zbMATH Keywords: abstract substitution
zbMATH Keywords: combinatory algebras
zbMATH Keywords: finite equational axiomatization
zbMATH Keywords: variety of algebras
zbMATH Keywords: equational theory
zbMATH Keywords: functional lambda abstraction algebras
zbMATH Keywords: environment models
zbMATH Keywords: lambda models
zbMATH Keywords: lambda calculus
zbMATH Keywords: infinitary lambda calculus
MaRDI profile type: Publication
OpenAlex ID: W2021900929
cites work: Explicit substitutions
cites work: Q3728878
cites work: Q4896520
cites work: Q3837724
cites work: Q3934450
cites work: Q3785893
cites work: Q5565113
cites work: Q4260394
cites work: Axiomatization of polynomial substitution algebras
cites work: Q4217595
cites work: Enlargements of functional algebras for the lambda calculus
cites work: Q4200260
cites work: Q3282928
cites work: Q5616133
cites work: 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
cites work: Lambda‐Calculus Models and Extensionality
cites work: Infinitary lambda calculus
cites work: Q3997016
cites work: Transformation Algebras
cites work: Q3751631
cites work: What is a model of the lambda calculus?
cites work: Algebraization of quantifier logics, an introductory overview
cites work: Q3659756
cites work: Q4835611
cites work: Q4260390
cites work: Lambda abstraction algebras: representation theorems
cites work: The abstract variable-binding calculus
cites work: Q3837997
cites work: Cylindric Algebras and Algebras of Substitutions
cites work: Q4011732
cites work: Data Types as Lattices
cites work: Q3661543
DOI: 10.1006/INCO.1998.2745
description: scientific article; zbMATH DE number 1271055