Preservation of Strong Normalisation for Explicit Substitution (1995)
by
Roel Bloo
| Citations: | 15 - 2 self |
BibTeX
@TECHREPORT{Bloo95preservationof,
author = {Roel Bloo},
title = {Preservation of Strong Normalisation for Explicit Substitution},
institution = {},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is different and has been invented independently of the proofs in [Kamareddine & Rios 95] and [BBLR 95]. We show by means of a counterexample that an extension of exp with certain interaction between substitutions does not preserve strong normalisation. In appendix A we use a more common notation trying to determine the borderline between preservation of strong normalisation and interaction of substitutions. 2 The calculus
Citations
| 359 | Explicit Substitutions - Abadi, Cardelli, et al. - 1992 |
| 90 | λυ, a calculus of explicit substitutions which preserves strong normalisation - Benaissa, Briaud, et al. - 1996 |
| 72 | A λ-calculus à la de bruijn with explicit substitutions - Kamareddine, Ríos - 1995 |
| 45 | Typed -calculi with explicit substitutions may not terminate - Melli`es - 1995 |
| 39 | On stepwise explicit substitution - Kamareddine, Nederpelt - 1993 |
| 28 | Explicit substitution: on the edge of strong normalisation - Bloo, Geuvers - 1999 |
| 6 | Term rewriting systems. In Abramsky et al - Klop - 1993 |
| 1 | A Lambda Calculus with Explicit Substitution and Preservation of Strong Normalisation by Garbage Collection (in preparation - Rose, Bloo |
