%0 Journal Article
%A Nour, K.
%T Les $I$-types du système $\mathcal {F}$
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2001
%P 223-237
%V 35
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_2001__35_3_223_0/
%G fr
%F ITA_2001__35_3_223_0