Lambda abstraction algebras: representation theorems

DOI10.1016/0304-3975(94)00203-UzbMath0874.68188MaRDI QIDQ674002

Don Pigozzi, Antonino Salibra

Publication date: 28 February 1997

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

zbMATH Keywords

lambda calculuslambda abstraction algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (9)

Easiness in graph models ⋮ The abstract variable-binding calculus ⋮ Enlargements of functional algebras for the lambda calculus ⋮ A Mathematical Life ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus ⋮ Nominal Equational Logic

Cites Work

• The lambda calculus, its syntax and semantics
• 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
• 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

This page was built for publication: Lambda abstraction algebras: representation theorems