scientific article; zbMATH DE number 1183249

MaRDI QIDQ3837997zbMATH OpenFDO

Authors Don Pigozzi, Antonino Salibra

Publication date 8 April 1999

zbMATH Keywords

algebraic modelscylindric algebraslambda abstraction algebraslambda modelslambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 1136648
• Lambda abstraction algebras: representation theorems
• scientific article; zbMATH DE number 1333616
• On the algebraic models of lambda calculus
• scientific article; zbMATH DE number 761276

Cited in

(13)

• A finite equational axiomatization of the functional algebras for the lambda calculus
• On the algebraic models of lambda calculus
• Construction of the model of the lambda calculus system with algebraic operators
• Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
• Applying universal algebra to lambda calculus
• scientific article; zbMATH DE number 1222100 (Why is no real title available?)
• scientific article; zbMATH DE number 1333616 (Why is no real title available?)
• scientific article; zbMATH DE number 1136648 (Why is no real title available?)
• A mathematical life
• Boolean product representations of algebras via binary polynomials
• The lambda calculus is algebraic
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• Towards lambda calculus order-incompleteness

This page was built for publication:

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