Copy and paste this citation
BAS SPITTERS,
HERMAN GEUVERS,
MILAD NIQUI
and FREEK WIEDIJK
(2007).
Preface to the special issue: Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science,
17
,
pp 1-1
doi:10.1017/S0960129506005846