Fibrations and recursivity
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, p. 193-208
@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},
     publisher = {EDP-Sciences},
     volume = {29},
     number = {3},
     year = {1995},
     pages = {193-208},
     zbl = {0833.03017},
     mrnumber = {1347593},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1995__29_3_193_0}
}
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. J. Bénabou, Fibered categories and the foundation of naïve category theotry, Journal of symbolic logic, 1985, 50, No. 1. | MR 780520 | Zbl 0564.18001

2. J. Bénabou, Fibrations petites et localement petites, C. R. Acad. Sc. Paris, t. 281, 1975, pp. 897-900. | MR 393181 | Zbl 0349.18006

3. Y. Ersov, La théorie des énumérations, Actes du congrès international des mathématiciens, 1970, 1, Gauthier Villars, 1971. | MR 457173 | Zbl 0388.03019

4. M. P. Fourman and D. S. Scott, Sheaves and logic, in: Applications of Sheaf theory to algebra, analysis and topology, Lectures Notes in Mathematics, Springer Verlag, 1979. | MR 555551 | Zbl 0415.03053

5. A. Grothendieck, Catégories fibrées et descente, Lecture Notes in Mathematics, 1971, 224, Springer-Verlag.

6. J. M. E. Hyland, P. T. Johnstone and A. M. Pitts, Tripos theory, Mathematical proceedings of the Cambridge philosophical society, 1980, 88. | MR 578267 | Zbl 0451.03027

7. R. Mijoule, L'universalité des semi-fonctions récursives universelles, Diagrammes, 12, Paris, 1984. | Numdam | MR 800499 | Zbl 0564.18002

8. R. Mijoule, La théorie des fonctions indexées en récursivité, Archivum mathematicum, 1987, 23, No. 4. | MR 930780 | Zbl 0639.03050

9. R. Mijoule, Introduction à la récursivité synthétique, Rapport de recherche Cedric No. 92-13, Paris, 1992.

10. P. S. Mulry, Generalized Banach-Mazur functionnels in the topos of recursive sets, Journal of pure and applied algebra, 1982, 26. | MR 669844 | Zbl 0491.03017