Applying universal algebra to lambda calculus

DOI10.1093/LOGCOM/EXN085MaRDI QIDQ3583100zbMATH OpenOpenAlexFDO

Authors Giulio Manzonetto, Antonino Salibra

Publication date 26 August 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/10a5565be5302c1be4f6f91e12a7e8fff7d99204

zbMATH Keywords

lambda calculusstable semanticscentral elementsStone representation theoremlambda abstraction algebrasBoolean productscombinatory algebraslambda theoriesindecomposable semanticsScott-continuous semanticsstrongly stable semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Applications of universal algebra in computer science (08A70)

Recommendations

• scientific article; zbMATH DE number 1183249
• scientific article; zbMATH DE number 1136648
• The lambda calculus is algebraic
• scientific article; zbMATH DE number 1333616
• On the algebraic models of lambda calculus

Cited in

(20)

• From λ-Calculus to Universal Algebra and Back
• The lambda calculus is algebraic
• A generalization of the lambda algebra
• Boolean-like algebras
• Coextensive varieties via central elements
• A glimpse into the paradise of combinatory algebra
• Adding algebraic rewriting to the untyped lambda calculus
• The Lattice of Lambda Theories
• Consistency argument and classification problem in \(\lambda\)-calculus
• Boolean product representations of algebras via binary polynomials
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?
• Quasi-discriminator varieties
• On the completeness of order-theoretic models of the \(\lambda \)-calculus
• Imaginary groups: lazy monoids and reversible computation
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
• Algebra of constructions. I. The word problem for partial algebras
• Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
• Types for Proofs and Programs
• \(\infty\)-groupoid generated by an arbitrary topological \(\lambda\)-model
• scientific article; zbMATH DE number 1222100 (Why is no real title available?)

This page was built for publication: Applying universal algebra to lambda calculus

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