Les I-types du système $ℱ$

Nour, K.. "Les I-types du système ${\cal F}$." RAIRO - Theoretical Informatics and Applications 35.3 (2010): 223-237. <http://eudml.org/doc/222094>.

@article{Nour2010,
abstract = { We prove in this paper that the types of system $\{\cal F\}$ inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples. },
author = {Nour, K.},
journal = {RAIRO - Theoretical Informatics and Applications},
keywords = {λI-calculus; system $\{\cal F\}$; I-type; lambda calculus; -types; system ; positive quantifier},
language = {fre},
month = {3},
number = {3},
pages = {223-237},
publisher = {EDP Sciences},
title = {Les I-types du système $\{\cal F\}$},
url = {http://eudml.org/doc/222094},
volume = {35},
year = {2010},
}

TY - JOUR
AU - Nour, K.
TI - Les I-types du système ${\cal F}$
JO - RAIRO - Theoretical Informatics and Applications
DA - 2010/3//
PB - EDP Sciences
VL - 35
IS - 3
SP - 223
EP - 237
AB - We prove in this paper that the types of system ${\cal F}$ inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
LA - fre
KW - λI-calculus; system ${\cal F}$; I-type; lambda calculus; -types; system ; positive quantifier
UR - http://eudml.org/doc/222094
ER -