Applying universal algebra to lambda calculus

DOI10.1093/LOGCOM/EXN085zbMATH Open1216.03030OpenAlexW2020095493MaRDI QIDQ3583100FDOQ3583100

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

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

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)

Cited In (20)

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

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)