Computing Publications

Publications Home » Characterising Strong Normalisati...

Characterising Strong Normalisation for Explicit Substitutions.

Dezani Dezani-Ciancaglini, Steffen van Bakel

Conference or Workshop Paper
LATIN'02
March, 2002
Volume 2286
pp.356–370
Abstract

We characterise the strongly normalising terms of a composition-free calculus of explicit substititions (with or without garbage collection) by means of an intersection type assignment system. The main novelty is a new cut-rule which allows to forget the context of the minor premise when the context of the main premise does not have an assumption for the cut variable.

PDF of full publication (115 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.