Fibrations and recursivity
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1995)
- Volume: 29, Issue: 3, page 193-208
- ISSN: 0988-3754
Access Full Article
topHow to cite
topReferences
top- 1. J. BÉNABOU, Fibered categories and the foundation of naïve category theotry, Journal of symbolic logic, 1985, 50, No. 1. Zbl0564.18001MR780520
- 2. J. BÉNABOU, Fibrations petites et localement petites, C. R. Acad. Sc. Paris, t. 281, 1975, pp. 897-900. Zbl0349.18006MR393181
- 3. Y. ERSOV, La théorie des énumérations, Actes du congrès international des mathématiciens, 1970, 1, Gauthier Villars, 1971. Zbl0388.03019MR457173
- 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. Zbl0415.03053MR555551
- 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. Zbl0451.03027MR578267
- 7. R. MIJOULE, L'universalité des semi-fonctions récursives universelles, Diagrammes, 12, Paris, 1984. Zbl0564.18002MR800499
- 8. R. MIJOULE, La théorie des fonctions indexées en récursivité, Archivum mathematicum, 1987, 23, No. 4. Zbl0639.03050MR930780
- 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. Zbl0491.03017MR669844