Authors: Ghilezan, Silvia 
Ivetić, Jelena
Lescanne, Pierre
Likavec, Silvia
Title: Intersection types for explicit substitution with resource control
Conference: Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)
Issue Date: 2012
We propose an intersection type assignment system for a term calculus with explicit substitution and resource control, which is due to the presence of weakening and contraction operators. The main contribution is the complete characterisation of strong normalisation of reductions using a combination of well-orders and suitable embeddings of terms as well as head subject expansion.

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.