Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MS2_1981__48_166745, author = {A. Kock and G.E. Reyes}, title = {Models for synthetic integration theory.}, journal = {Mathematica Scandinavica}, pages = {145--152}, publisher = {mathdoc}, volume = {48}, year = {1981}, zbl = {0485.51017}, url = {http://geodesic.mathdoc.fr/item/MS2_1981__48_166745/} }
A. Kock; G.E. Reyes. Models for synthetic integration theory.. Mathematica Scandinavica, Tome 48 (1981), pp. 145-152. http://geodesic.mathdoc.fr/item/MS2_1981__48_166745/