I-TYPES OF SYSTEM F
Nour, Karim
HAL, hal-00380940 / Harvested from HAL
Text on HAL
We prove in this paper that the types of system F inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
Publié le : 2001-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00380940,
     author = {Nour, Karim},
     title = {I-TYPES OF SYSTEM F},
     journal = {HAL},
     volume = {2001},
     number = {0},
     year = {2001},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/hal-00380940}
}

Nour, Karim. I-TYPES OF SYSTEM F. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00380940/