@article{CTGDC_1980__21_3_227_0, author = {Kock, Anders}, title = {Formal manifolds and synthetic theory of jet bundles}, journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle}, pages = {227--246}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {21}, number = {3}, year = {1980}, zbl = {0434.18012}, mrnumber = {591385}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_1980__21_3_227_0/} }