Liste des citations dans Numdam pour : Les $I$-types du système $ℱ$

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 35 (2001) no. 3, pp. 223-237.

---