Lambda abstraction algebras: representation theorems

DOI10.1016/0304-3975(94)00203-UzbMATH Open0874.68188MaRDI QIDQ674002FDOQ674002

Don Pigozzi, Antonino Salibra

Publication date: 28 February 1997

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

Recommendations

• scientific article; zbMATH DE number 761276
• scientific article; zbMATH DE number 1333616
• scientific article; zbMATH DE number 1136648
• scientific article; zbMATH DE number 1222100

zbMATH Keywords

lambda calculuslambda abstraction algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Data Types as Lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus, its syntax and semantics
• Algebraization of quantifier logics, an introductory overview
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Lambda‐Calculus Models and Extensionality
• Axiomatization of polynomial substitution algebras
• Explicit substitutions
• What is a model of the lambda calculus?
• The abstract variable-binding calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Transformation Algebras
• Cylindric Algebras and Algebras of Substitutions

Cited In (15)

• A generalization of the lambda algebra
• Title not available (Why is that?)
• Towards Lambda Calculus Order-Incompleteness
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
• Some acyclic relations in the lambda algebra
• On the algebraic models of lambda calculus
• Nominal equational logic
• Easiness in graph models
• The abstract variable-binding calculus
• A Mathematical Life
• Enlargements of functional algebras for the lambda calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• On an invariant-theoretic description of the lambda algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674002)