scientific article; zbMATH DE number 1136648

MaRDI QIDQ4381706zbMATH OpenFDO

Authors Don Pigozzi, Antonino Salibra

Publication date 13 May 1998

zbMATH Keywords

abstract substitutioncategorical equivalencecombinatory modelsfunctional representationlambda abstraction algebraslambda modelsuntyped lambda calculusvariety

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25) Theory of programming languages (68N15)

Recommendations

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

Cited in

(11)

• Enlargements of functional algebras for the lambda calculus
• A finite equational axiomatization of the functional algebras for the lambda calculus
• On the algebraic models of lambda calculus
• Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
• Applying universal algebra to lambda calculus
• Lambda‐Algebras and C‐Monoids
• scientific article; zbMATH DE number 1183249 (Why is no real title available?)
• 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 761276 (Why is no real title available?)
• Lambda abstraction algebras: representation theorems

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 Q4381706)