Hostname: page-component-74656f9884-npj9w Total loading time: 0 Render date: 2026-11-09T18:24:57.775Z Has data issue: false hasContentIssue false
  • English
  • Français

The λse-calculus does not preserve strong normalisation

Published online by Cambridge University Press:  03 November 2000

BRUNO GUILLAUME
BRUNO GUILLAUME
Affiliation:
LRI, Université Paris Sud, F-91405 Orsay, CEDEX, France
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Research Article
Information
Journal of Functional Programming , Volume 10 , Issue 4 , July 2000 , pp. 321 - 325
Copyright
© 2000 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.