@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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/ITA_1995__29_3_193_0/
1. Fibered categories and the foundation of naïve category theotry, Journal of symbolic logic, 1985, 50, No. 1. | MR | Zbl
,2. Fibrations petites et localement petites, C. R. Acad. Sc. Paris, t. 281, 1975, pp. 897-900. | MR | Zbl
,3. La théorie des énumérations, Actes du congrès international des mathématiciens, 1970, 1, Gauthier Villars, 1971. | MR | Zbl
,4. Applications of Sheaf theory to algebra, analysis and topology, Lectures Notes in Mathematics, Springer Verlag, 1979. | MR | Zbl
and , Sheaves and logic, in:5. Catégories fibrées et descente, Lecture Notes in Mathematics, 1971, 224, Springer-Verlag.
,6. Tripos theory, Mathematical proceedings of the Cambridge philosophical society, 1980, 88. | MR | Zbl
, and ,7. L'universalité des semi-fonctions récursives universelles, Diagrammes, 12, Paris, 1984. | Numdam | MR | Zbl
,La théorie des fonctions indexées en récursivité, Archivum mathematicum, 1987, 23, No. 4. | MR | Zbl
,9. Introduction à la récursivité synthétique, Rapport de recherche Cedric No. 92-13, Paris, 1992.
,10. Generalized Banach-Mazur functionnels in the topos of recursive sets, Journal of pure and applied algebra, 1982, 26. | MR | Zbl
,