scientific article; zbMATH DE number 5872263

MaRDI QIDQ3086783zbMATH OpenFDO

Authors Aad Mathijssen, Murdoch J. Gabbay

Publication date 30 March 2011

zbMATH Keywords

nominal algebrauntyped \(\lambda\)-calculusfreshness conditionULAM

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25) Applications of universal algebra in computer science (08A70)

Recommendations

• The lambda calculus is algebraic
• A Nominal Axiomatization of the Lambda Calculus
• The algebraic lambda calculus
• scientific article; zbMATH DE number 3909726
• The Intensional Lambda Calculus
• The \(\lambda\)-context calculus
• The structural \(\lambda \)-calculus
• On the algebraic models of lambda calculus
• Initial algebra semantics for lambda calculi
• A typed, algebraic, computational lambda-calculus

Cited in

(3)

• Nominal Algebra and the HSP Theorem
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
• On solving nominal disunification constraints

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