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

Two extensions of system 𝖥 with (co)iteration and primitive (co)recursion principles
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009), p. 703-766 / Harvested from Numdam