The theory of indexed functions in recursion

Richard Mijoule

Archivum Mathematicum (1987)

  • Volume: 023, Issue: 4, page 191-206
  • ISSN: 0044-8753

How to cite

top

Mijoule, Richard. "La théorie des fonctions indexées en récursivité." Archivum Mathematicum 023.4 (1987): 191-206. <http://eudml.org/doc/18223>.

@article{Mijoule1987,
author = {Mijoule, Richard},
journal = {Archivum Mathematicum},
keywords = {axiomatic recursion theory; indexed category; Yoneda lemma},
language = {fre},
number = {4},
pages = {191-206},
publisher = {Department of Mathematics, Faculty of Science of Masaryk University, Brno},
title = {La théorie des fonctions indexées en récursivité},
url = {http://eudml.org/doc/18223},
volume = {023},
year = {1987},
}

TY - JOUR
AU - Mijoule, Richard
TI - La théorie des fonctions indexées en récursivité
JO - Archivum Mathematicum
PY - 1987
PB - Department of Mathematics, Faculty of Science of Masaryk University, Brno
VL - 023
IS - 4
SP - 191
EP - 206
LA - fre
KW - axiomatic recursion theory; indexed category; Yoneda lemma
UR - http://eudml.org/doc/18223
ER -

References

top
  1. J. P. Azra, B. Jaulin, Récursivité, Collection Programmation, Gauthier-Villars (1973). (1973) Zbl0276.02019MR0369039
  2. S. Kleene, Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959), 1-52. (1959) Zbl0088.01301MR0102480
  3. J. Fenstad, General recursion theory, Perspectives in mathematical logic, Springer-Verlag (1980). (1980) Zbl0439.03030MR0584262
  4. H. Friedman, Axiomatic recursive function theory, Logic colloquium '69, North-Holland (1971), 113-137. (1971) Zbl0221.02019MR0276082
  5. A. Kechris, Y. Moschovakis, Recursion in higher types, Handbook of mathematical logic, North-Holland (1977), 681 -737. (1977) MR0457132
  6. R. Mijoule, L'universalité des semi-fonctions récursives universelles, Diagrammes Vol. 12 (1984). (1984) Zbl0564.18002MR0800499
  7. R. Paré, D. Schumacher, Abstract families and the adjoint functor theorems, Lectures notes in mathematics 661 (1978). (1978) MR0514193
  8. H. Rogers, Jr., Theory of recursive functions and effective computability, New York, MacGraw-Hill (1967). (1967) Zbl0183.01401MR0224462
  9. R. Rosebrugh, On defining objects by recursion in a topos, Journal of pure and applied algebra 20 (1981), 325-335. (1981) Zbl0459.18002MR0604324

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.