%0 Journal Article
%A Kock, Anders
%T Formal manifolds and synthetic theory of jet bundles
%J Cahiers de topologie et géométrie différentielle
%D 1980
%P 227-246
%V 21
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1980__21_3_227_0/
%G en
%F CTGDC_1980__21_3_227_0