Liste des citations dans Numdam pour : Monotone (co)inductive types and positive fixed-point types

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 4-5, pp. 309-328.

---