The λse-calculus does not preserve strong normalisation

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.

Saved in:
Bibliographic Details
Published in:Journal of functional programming 2000-07, Vol.10 (4), p.321-325
Main Author: GUILLAUME, BRUNO
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0956-7968
1469-7653
DOI:10.1017/S0956796800003695