Mijoule, Richard
Fibrations and recursivity
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3 , p. 193-208
Zbl 0833.03017 | MR 1347593
URL stable : http://www.numdam.org/item?id=ITA_1995__29_3_193_0

Bibliographie

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