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.










Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 33 (1992) no. 3, pp. 207-216.

Diagrammes, Tome 27 (1992), Exposé no. 2, 33 p.

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. 6, 23 p.

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 29 (1988) no. 4, pp. 297-326.



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.

Mathématiques et sciences humaines, Tome 96 (1986), pp. 49-63.


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 9 (1983), Exposé no. 1, 32 p.


Diagrammes, Tome 7 (1982), Exposé no. 4, 24 p.

Diagrammes, Tome 7 (1982), Exposé no. 6, 4 p.


Diagrammes, Tome 6 (1981), Exposé no. 2, 17 p.

Diagrammes, Tome 6 (1981), Exposé no. 4, 13 p.

Diagrammes, Tome 6 (1981), Exposé no. 5, 20 p.