Liste des citations dans Numdam pour : Calcul syntaxique des modèles et calcul des formules internes
Diagrammes, Tome 4 (1980), pp. GL1-GL106.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 49 (2008) no. 2, pp. 83-128.
Diagrammes, Tome 38 (1997), pp. 3-18.
Diagrammes, Tome 38 (1997), pp. 19-78.
Diagrammes, Tome 35 (1996), pp. 3-23.
Diagrammes, Tome 35 (1996), pp. 25-52.
Diagrammes, Tome 34 (1995), pp. 1-10.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 33 (1992) no. 3, pp. 207-216.
Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 7-13.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 30 (1989) no. 4, pp. 281-293.
Diagrammes, Tome 21 (1989), Exposé no. 2, 5 p.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 29 (1988) no. 4, pp. 297-326.
Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p.
Mathématiques et sciences humaines, Tome 97 (1987), pp. 19-45.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 4, pp. 107-136.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 4, pp. 107-136.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 4, pp. 107-136.
Diagrammes, Tome 15 (1986), Exposé no. 4, 20 p.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 25 (1984) no. 1, pp. 15-35.
Diagrammes, Tome 11 (1984), pp. 1-63.
Diagrammes, Tome 10 (1983), Exposé no. 2, 17 p.
Cahiers de topologie et géométrie différentielle, Tome 24 (1983) no. 2, pp. 215-222.
Diagrammes, Tome 7 (1982), Exposé no. 2, 23 p.
Diagrammes, Tome 6 (1981), Exposé no. 1, 6 p.