The λse-calculus does not preserve strong normalisation
From MaRDI portal
Publication:4519171
DOI10.1017/S0956796800003695zbMath0971.68021MaRDI QIDQ4519171
Publication date: 3 December 2000
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Unification for $$\lambda $$ -calculi Without Propagation Rules ⋮ The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations ⋮ Comparing Calculi of Explicit Substitutions with Eta-reduction ⋮ Comparing and implementing calculi of explicit substitutions with eta-reduction ⋮ SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★
This page was built for publication: The λse-calculus does not preserve strong normalisation