%0 Journal Article
%A Kock, Anders
%T Convenient vector spaces embed into the Cahiers topos
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1986
%P 3-17
%V 27
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1986__27_1_3_0/
%G en
%F CTGDC_1986__27_1_3_0