scientific article; zbMATH DE number 5872263

zbMATH Open1226.03028MaRDI QIDQ3086783FDOQ3086783

Authors: Aad Mathijssen, Murdoch J. Gabbay 

Publication date: 30 March 2011

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)