Abstract | ||
---|---|---|
We introduce a type assignment system which is parametric with respect to five fam- ilies of trees obtained by evaluating -terms (Bohm trees, Levy-Longo trees, ...). Then we prove, in an (almost) uniform way, that each type assignment system fully describes the observational equivalences induced by the corresponding tree represen- tation of terms. More precisely, for each family of trees two terms have the same tree if and only if they get assigned the same types in the corresponding type assignment system. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/978-0-387-35358-6_6 | PROCOMET |
Keywords | Field | DocType |
approximants,bohm trees,intersection types. | Discrete mathematics,Tree representation,Parametric statistics,If and only if,Mathematics | Conference |
ISBN | Citations | PageRank |
0-412-83760-9 | 3 | 0.42 |
References | Authors | |
18 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
M. Mariangiola Dezani-Ciancaglini | 2 | 3 | 0.42 |
Fer-Jan de Vries | 3 | 244 | 21.67 |