Fibrations and recursivity
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, pp. 193-208
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1995__29_3_193_0,
author = {Mijoule, Richard},
title = {Fibrations and recursivity},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {193--208},
publisher = {EDP-Sciences},
volume = {29},
number = {3},
year = {1995},
mrnumber = {1347593},
zbl = {0833.03017},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1995__29_3_193_0/}
}
TY - JOUR AU - Mijoule, Richard TI - Fibrations and recursivity JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1995 SP - 193 EP - 208 VL - 29 IS - 3 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1995__29_3_193_0/ LA - en ID - ITA_1995__29_3_193_0 ER -
Mijoule, Richard. Fibrations and recursivity. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, pp. 193-208. http://geodesic.mathdoc.fr/item/ITA_1995__29_3_193_0/