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://www.numdam.org/item/ITA_1996__30_3_261_0/
LA  - fr
ID  - ITA_1996__30_3_261_0
ER  -