Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
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