The Lattice of Lambda Theories
From MaRDI portal
Publication:4820472
DOI10.1093/logcom/14.3.373zbMath1057.03011OpenAlexW2090981365MaRDI QIDQ4820472
Stefania Lusin, Antonino Salibra
Publication date: 15 October 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/14.3.373
commutatorlambda abstraction algebraslattice identitieslattice of lambda theoriesequational extensions of untyped lambda calculus
Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)
Related Items (11)
What is a categorical model of the differential and the resource λ-calculi? ⋮ Easiness in graph models ⋮ Intersection types and domain operators ⋮ Capture-avoiding substitution as a nominal algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Unnamed Item ⋮ Effective λ-models versus recursively enumerable λ-theories ⋮ Unnamed Item ⋮ Subrecursive equivalence relations and (non-)closure under lattice operations
This page was built for publication: The Lattice of Lambda Theories
