Geodesic

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