An algebraic treatment of flow diagrams and its application to generalized recursion theory
Comparisons between some generalizations of recursion theory
Computational complexity in algebraic systems.
Fibrations and recursivity
Finite alogorithmic procedures and inductive definability.
La théorie des fonctions indexées en récursivité
L'universalité des semi-fonctions récursives universelles
Primitive recursive categories and machines
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Une généralisation des ensembles énumérés
О гипотезе Д. Скордева
Степени свтоматных преобразований