Abstract | ||
---|---|---|
Abstract We present a new system of intersection types for a composition - free calculus of explicit substitutions with a rule for garbage collection, and show that it characterizes those terms which are strongly normalizing This system extends previous work on the natural general - ization of the classical intersection types system, which characterized head normalization and weak normalization, but was not complete for strong normalization An important role is played by the notion of available variable in a term, which is a generalization of the classical notion of free variable |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/978-0-387-35608-2_42 | IFIP TCS |
Keywords | Field | DocType |
intersection types,improved system,explicit substitutions,garbage collection | Discrete mathematics,Combinatorics,Mathematics | Conference |
Volume | ISSN | ISBN |
96 | 1571-5736 | 1-4020-7181-7 |
Citations | PageRank | References |
2 | 0.40 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel J. Dougherty | 1 | 413 | 32.13 |
Stephane Lengrand | 2 | 2 | 0.40 |
Pierre Lescanne | 3 | 925 | 123.70 |