Fibrations and recursivity

Richard Mijoule

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1995)

  • Volume: 29, Issue: 3, page 193-208
  • ISSN: 0988-3754

How to cite

top

Mijoule, Richard. "Fibrations and recursivity." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 29.3 (1995): 193-208. <http://eudml.org/doc/92504>.

@article{Mijoule1995,
author = {Mijoule, Richard},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {category-theoretic recursion theory; fibred categories; presheaves; fixed-point theorem; partial functions},
language = {eng},
number = {3},
pages = {193-208},
publisher = {EDP-Sciences},
title = {Fibrations and recursivity},
url = {http://eudml.org/doc/92504},
volume = {29},
year = {1995},
}

TY - JOUR
AU - Mijoule, Richard
TI - Fibrations and recursivity
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1995
PB - EDP-Sciences
VL - 29
IS - 3
SP - 193
EP - 208
LA - eng
KW - category-theoretic recursion theory; fibred categories; presheaves; fixed-point theorem; partial functions
UR - http://eudml.org/doc/92504
ER -

References

top
  1. 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. 2. J. BÉNABOU, Fibrations petites et localement petites, C. R. Acad. Sc. Paris, t. 281, 1975, pp. 897-900. Zbl0349.18006MR393181
  3. 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. 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. 5. A. GROTHENDIECK, Catégories fibrées et descente, Lecture Notes in Mathematics, 1971, 224, Springer-Verlag. 
  6. 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. 7. R. MIJOULE, L'universalité des semi-fonctions récursives universelles, Diagrammes, 12, Paris, 1984. Zbl0564.18002MR800499
  8. 8. R. MIJOULE, La théorie des fonctions indexées en récursivité, Archivum mathematicum, 1987, 23, No. 4. Zbl0639.03050MR930780
  9. 9. R. MIJOULE, Introduction à la récursivité synthétique, Rapport de recherche Cedric No. 92-13, Paris, 1992. 
  10. 10. P. S. MULRY, Generalized Banach-Mazur functionnels in the topos of recursive sets, Journal of pure and applied algebra, 1982, 26. Zbl0491.03017MR669844

NotesEmbed ?

top

You must be logged in to post comments.