Liste des citations dans Numdam pour : Convenient vector spaces embed into the Cahiers topos

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986), p. 3-17 / Harvested from Numdam

Kock, Anders ; Reyes, Gonzalo

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006), p. 2-28 / Harvested from Numdam

Kock, A. ; Reyes, G. E.

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 28 (1987), p. 99-110 / Harvested from Numdam