TY  - JOUR
AU  - A. Kock
AU  - G.E. Reyes
TI  - Models for synthetic integration theory.
JO  - Mathematica Scandinavica
PY  - 1981
SP  - 145
EP  - 152
VL  - 48
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1981__48_166745/
ID  - MS2_1981__48_166745
ER  -