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), p. 309-328 / Harvested from Numdam

Miranda-Perea, Favio Ezequiel

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009), p. 703-766 / Harvested from Numdam