The λse-calculus does not preserve strong normalisation
BRUNO GUILLAUME a1 a1 LRI, Université Paris Sud, F-91405 Orsay, CEDEX, France
Abstract
Kamareddine, F., & Ríos (1997) conjecture that the λse-calculus
preserves the strong normalisation of the λ-calculus. We prove here that this conjecture is false.
