@article{CTGDC_1986__27_1_3_0,
     author = {Kock, Anders},
     title = {Convenient vector spaces embed into the {Cahiers} topos},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {3--17},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {1},
     year = {1986},
     mrnumber = {845406},
     zbl = {0596.18005},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_1986__27_1_3_0/}
}