%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://www.numdam.org/item/ITA_1996__30_3_261_0/
%G fr
%F ITA_1996__30_3_261_0