Opérateurs de mise en mémoire et types $\forall $-positifs Karim Nour RAIRO-Theor. Inf. Appl., 30 3 (1996) 261-293 Published online: 01 February 2017 DOI: 10.1051/ita/1996300302611