La fonction d'Ackermann : un nouveau mode de dérécursivation
La théorie des fonctions indexées en récursivité
Le problème de l'associativité des monoïdes et le problème des mots pour les demi-groupes ; algèbres partielles et chaînes élémentaires
Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
Le théorème de Karp-Myhill comme corollaire du théorème des mariages Divers aspects de la « non-généralisation » du théorème de Karp-Myhill
Les modalités de la correction totale
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
Limiting recursion and the arithmetic hierarchy
Local normal forms for first-order logic with applications to games and automata.
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
Locally testable semigroups.
Logic and -recognizable sets of integers.
L'universalité des semi-fonctions récursives universelles