Abstract | ||
---|---|---|
We prove in this paper that the types of system F inhabited uniquely by lambdaI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1051/ita:2001116 | RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS |
Keywords | Field | DocType |
lambda I-calculus,system F,I-type | Lambda calculus,Combinatorics,System F,Mathematics | Journal |
Volume | Issue | ISSN |
35 | 3 | 0988-3754 |
Citations | PageRank | References |
1 | 0.48 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karim Nour | 1 | 65 | 15.07 |