%0 Journal Article %A A. Kock %A G.E. Reyes %T Models for synthetic integration theory. %J Mathematica Scandinavica %D 1981 %P 145-152 %V 48 %I mathdoc %U http://geodesic.mathdoc.fr/item/MS2_1981__48_166745/ %F MS2_1981__48_166745