Diagrammes, Tome 12 (1984)

Leçons de théorie des esquisses

Coppey, L. ; Lair, C.

Exposé no. 4, 10 p.

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

Coppey, L.

Exposé no. 1, 47 p.

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

Mijoule, R.

Exposé no. 2, 12 p.

Abstract tangent functors

Rosický, J.

Exposé no. 3, 11 p.