Title
Intersection Types with Subtyping by Means of Cut Elimination
Abstract
We give a purely syntactic proof from scratch of the subject equality property of the BCD intersection type system through a reformulation of the subtyping relation having a “cut-elimination” property.
Year
DOI
Venue
2012
10.3233/FI-2012-776
Fundam. Inform.
Keywords
Field
DocType
intersection types,subtyping relation,bcd intersection type system,cut elimination,syntactic proof,subject equality property
Discrete mathematics,Combinatorics,Scratch,Subtyping,Syntax,Mathematics
Journal
Volume
Issue
ISSN
121
1-4
0169-2968
Citations 
PageRank 
References 
1
0.36
4
Authors
1
Name
Order
Citations
PageRank
Olivier Laurent1294.92