Diagrammes, Volume 12 (1984)

Leçons de théorie des esquisses

Coppey, L.; Lair, C.

Talk no. 4, 10 p.

Catégories de Peano et catégories algorithmiques, récursivité

Coppey, L.

Talk no. 1, 47 p.

L'universalité des semi-fonctions récursives universelles

Mijoule, R.

Talk no. 2, 12 p.

Abstract tangent functors

Rosický, J.

Talk no. 3, 11 p.