Abstract | ||
---|---|---|
This article explores the use of non-idempotent intersection types in the framework of the $\lambda$-calculus. Different topics are presented in a uniform framework: head normalization, weak normalization, weak head normalization, strong normalization, inhabitation, exact bounds and principal typings. The reducibility technique, traditionally used when working with idempotent types, is replaced in... |
Year | DOI | Venue |
---|---|---|
2017 | 10.1093/jigpal/jzx018 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Type Systems,intersection types,quantitative semantics,normalization properties,inhabitation problems,principal typing | Intersection (set theory),Lambda calculus,Pure mathematics,Line–plane intersection,Idempotence,Mathematics | Journal |
Volume | Issue | ISSN |
25 | 4 | 1367-0751 |
Citations | PageRank | References |
7 | 0.53 | 13 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Antonio Bucciarelli | 1 | 241 | 25.59 |
Delia Kesner | 2 | 369 | 39.75 |
Daniel Lima Ventura | 3 | 22 | 4.88 |