Opérateurs de mise en mémoire et types $\forall $-positifsKarim NourRAIRO-Theor. Inf. Appl., 30 3 (1996) 261-293DOI: https://doi.org/10.1051/ita/1996300302611
