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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.