The I-types of system F

Authors
Nour, K
Citation
K. Nour, The I-types of system F, RAIRO-INF, 35(3), 2001, pp. 223-237
Citations number
5
Categorie Soggetti
Information Tecnology & Communication Systems
Journal title
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
ISSN journal
09883754 → ACNP
Volume
35
Issue
3
Year of publication
2001
Pages
223 - 237
Database
ISI
SICI code
0988-3754(200105/06)35:3<223:TIOSF>2.0.ZU;2-I
Abstract
We prove in this paper that the types of system F inhabited uniquely by lam bdaI-terms (the I-types) have a positive quantifier. We give also consequen ces of this result and some examples.