Liste des citations dans Numdam pour : Sémantique catégorique des types : comprendre le système F

Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p.

Touratier, E.

Diagrammes, Tome 42 (1999), pp. 3-113.

Ageron, Pierre

Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 31-44.

Lair, C.

Diagrammes, Tome 20 (1988), pp. CL1-CL90.

Lair, C.

Diagrammes, Tome 18 (1987), Exposé no. 1, 47 p.