Mijoule, R. L’universalité des semi-fonctions récursives universelles. (French) Zbl 0564.18002 Diagrammes 12, M 1-M 12 (1984). This is the first part of a paper (the second of which is to appear in Cah. Topologie Géom. Différ.) that gives a category theory version of higher-order recursion à la Friedman-Kechris-Moschovakis, using all along discrete indexed categories as its main conceptual tool. Reviewer: M.Eytan Cited in 1 Document MSC: 18A15 Foundations, relations to logic and deductive systems 03D75 Abstract and axiomatic computability and recursion theory 18D30 Fibered categories 03G30 Categorical logic, topoi Keywords:S-computable; S-semi-computable; recursive structure; higher-order recursion; indexed categories PDFBibTeX XML Full Text: EuDML