Les $I$-types du système $\mathcal {F}$

Nour, K.

Geodesic

Parcourir par

Les

I

-types du système

ℱ

Nour, K.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 35 (2001) no. 3, pp. 223-237

Voir la notice de l'article provenant de la source Numdam

Résumé (VO)
Abstract

Nous démontrons dans ce papier que les types du système $ℱ$ habités uniquement par des $λ I$ -termes (les $I$ -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.

We prove in this paper that the types of system $ℱ$ inhabited uniquely by $λ I$ -terms (the $I$ -types) have a positive quantifier. We give also consequences of this result and some examples.

MR Zbl

Classification : 03B40, 68Q60
Keywords: $\lambda I$-calculus, system ${\mathcal {F}}$, $I$-type

@article{ITA_2001__35_3_223_0,
     author = {Nour, K.},
     title = {Les $I$-types du syst\`eme $\mathcal {F}$},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {223--237},
     publisher = {EDP-Sciences},
     volume = {35},
     number = {3},
     year = {2001},
     mrnumber = {1869215},
     zbl = {0991.03021},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_2001__35_3_223_0/}
}

TY  - JOUR
AU  - Nour, K.
TI  - Les $I$-types du système $\mathcal {F}$
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2001
SP  - 223
EP  - 237
VL  - 35
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_2001__35_3_223_0/
LA  - fr
ID  - ITA_2001__35_3_223_0
ER  -

%0 Journal Article
%A Nour, K.
%T Les $I$-types du système $\mathcal {F}$
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2001
%P 223-237
%V 35
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_2001__35_3_223_0/
%G fr
%F ITA_2001__35_3_223_0

Nour, K. Les $I$-types du système $\mathcal {F}$. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 35 (2001) no. 3, pp. 223-237. http://geodesic.mathdoc.fr/item/ITA_2001__35_3_223_0/