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.


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

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

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