Leçons de théorie des esquisses
Talk no. 4, 10 p.
Catégories de Peano et catégories algorithmiques, récursivité
Talk no. 1, 47 p.
L'universalité des semi-fonctions récursives universelles
Talk no. 2, 12 p.
Abstract tangent functors
Talk no. 3, 11 p.