Geodesic
Opérateurs de mise en mémoire et types ∀-positifs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) no. 3, pp. 261-293

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

@article{ITA_1996__30_3_261_0,
     author = {Nour, Karim},
     title = {Op\'erateurs de mise en m\'emoire et types $\forall $-positifs},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {261--293},
     publisher = {EDP-Sciences},
     volume = {30},
     number = {3},
     year = {1996},
     mrnumber = {1415831},
     zbl = {0869.03009},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1996__30_3_261_0/}
}
TY  - JOUR
AU  - Nour, Karim
TI  - Opérateurs de mise en mémoire et types $\forall $-positifs
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1996
SP  - 261
EP  - 293
VL  - 30
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1996__30_3_261_0/
LA  - fr
ID  - ITA_1996__30_3_261_0
ER  - 
%0 Journal Article
%A Nour, Karim
%T Opérateurs de mise en mémoire et types $\forall $-positifs
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1996
%P 261-293
%V 30
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1996__30_3_261_0/
%G fr
%F ITA_1996__30_3_261_0
Nour, Karim. Opérateurs de mise en mémoire et types $\forall $-positifs. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) no. 3, pp. 261-293. http://geodesic.mathdoc.fr/item/ITA_1996__30_3_261_0/