The Permutative λ-Calculus
From MaRDI portal
Publication:2891437
DOI10.1007/978-3-642-28717-6_5zbMath1352.03019OpenAlexW22906389MaRDI QIDQ2891437
Delia Kesner, Beniamino Accattoli
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_5
Related Items (5)
Unification for $$\lambda $$ -calculi Without Propagation Rules ⋮ Compositional Z: confluence proofs for permutative conversion ⋮ Classical By-Need ⋮ Degrees of sensible lambda theories ⋮ Z property for the shuffling calculus
This page was built for publication: The Permutative λ-Calculus