The λ s e -calculus does not preserve strong normalisation

@inproceedings{Guillaume2000TheS,
  title={The λ s e -calculus does not preserve strong normalisation},
  author={Bruno Guillaume},
  year={2000}
}
Kamareddine, F., & Rios (1997) conjecture that the λse-calculus preserves the strong normalisation of the λ-calculus. We prove here that this conjecture is false. 

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

Theoretical Aspects of Computing – ICTAC 2016

  • Lecture Notes in Computer Science
  • 2016
VIEW 13 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi

  • Journal of Applied Non-Classical Logics
  • 2006
VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED