Fibrations and recursivity
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, pp. 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},
     pages = {193--208},
     publisher = {EDP-Sciences},
     volume = {29},
     number = {3},
     year = {1995},
     mrnumber = {1347593},
     zbl = {0833.03017},
     language = {en},
     url = {http://archive.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://archive.numdam.org/item/ITA_1995__29_3_193_0/
LA  - en
ID  - ITA_1995__29_3_193_0
ER  - 
%0 Journal Article
%A Mijoule, Richard
%T Fibrations and recursivity
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1995
%P 193-208
%V 29
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1995__29_3_193_0/
%G en
%F 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://archive.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 | Zbl

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

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

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 | Zbl

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 | Zbl

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

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

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 | Zbl