Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=851596
Copy and paste this citation
HERMAN GEUVERS,
MILAD NIQUI,
BAS SPITTERS
and FREEK WIEDIJK
(2007).
Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science, 17
,
pp 3-36
doi:10.1017/S0960129506005834