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
Cahiers de topologie et géométrie différentielle, Tome 24 (1983) no. 2, pp. 215-222
Diagrammes, Tome 10 (1983), Exposé no. 2, 17 p.
Diagrammes, Tome 7 (1982), Exposé no. 2, 23 p.
Diagrammes, Tome 6 (1981), Exposé no. 1, 6 p.





