A representation theorem for lambda abstraction algebras

DOI10.1007/3-540-57182-5_54MaRDI QIDQ4260390zbMATH OpenFDO

Authors Don Pigozzi, Antonino Salibra

Publication date 19 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57182-5_54

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25)

Recommendations

• Lambda abstraction algebras: representation theorems
• scientific article; zbMATH DE number 761276
• scientific article; zbMATH DE number 1136648
• scientific article; zbMATH DE number 1183249
• Lambda-representable functions over term algebras
• A generalization of the lambda algebra
• The algebraic lambda calculus
• On the representation of semigroups and other congruences in the lambda calculus
• A finite equational axiomatization of the functional algebras for the lambda calculus
• scientific article; zbMATH DE number 2079020

Cited in

(13)

• A generalization of the lambda algebra
• A finite equational axiomatization of the functional algebras for the lambda calculus
• On the algebraic models of lambda calculus
• The abstract variable-binding calculus
• Applying universal algebra to lambda calculus
• From λ-Calculus to Universal Algebra and Back
• scientific article; zbMATH DE number 1183249 (Why is no real title available?)
• The functional lambda abstraction algebras form a variety
• scientific article; zbMATH DE number 1136648 (Why is no real title available?)
• A mathematical life
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• Lambda abstraction algebras: representation theorems
• On an invariant-theoretic description of the lambda algebra

This page was built for publication: A representation theorem for lambda abstraction algebras

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