List of citations in Numdam for : Convenient vector spaces embed into the Cahiers topos

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 27 (1986) no. 1, p. 3-17

Kock, Anders; Reyes, Gonzalo

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 47 (2006) no. 1, p. 2-28

Kock, A.; Reyes, G. E.

Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 28 (1987) no. 2, p. 99-110