From λ-Calculus to Universal Algebra and Back
From MaRDI portal
Publication:3599151
DOI10.1007/978-3-540-85238-4_39zbMath1173.03302OpenAlexW1521961376MaRDI QIDQ3599151
Giulio Manzonetto, Antonino Salibra
Publication date: 3 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85238-4_39
Applications of universal algebra in computer science (08A70) Combinatory logic and lambda calculus (03B40)
Related Items
An algebraic theory of clones ⋮ Boolean-like algebras ⋮ Boolean product representations of algebras via binary polynomials ⋮ Factor varieties ⋮ The Cantor-Bernstein-Schröder theorem via universal algebra. ⋮ A new view of effects in a Hilbert space ⋮ On noncommutative generalisations of Boolean algebras ⋮ Coextensive varieties via central elements ⋮ Equational definability of (complementary) central elements ⋮ Unnamed Item ⋮ The connection of skew Boolean algebras and discriminator varieties to Church algebras