scientific article; zbMATH DE number 761276

zbMath0820.03039MaRDI QIDQ4835611

Antonino Salibra, Don Pigozzi

Publication date: 3 July 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

representationvarietycylindric algebraslambda abstraction algebraalgebraization of untyped lambda calculus

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Combinatory logic and lambda calculus (03B40)

Related Items

Easiness in graph models, Enlargements of functional algebras for the lambda calculus, A Mathematical Life, Lambda abstraction algebras: representation theorems, A finite equational axiomatization of the functional algebras for the lambda calculus, On the algebraic models of lambda calculus