Constructive analysis, types and exact real numbers.

Herman Geuvers Milad Niqui Bas Spitters Freek Wiedijk Constructive analysis, types and exact real numbers. 3-36 2007 17 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129506005834 db/journals/mscs/mscs17.html#GeuversNSW07