Under consideration for publication in Math. Struct. in Comp. Science Constructive analysis, types and exact real numbers Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk Radboud University Nijmegen, NL

First Page		Document Content
Date: 2007-03-28 09:14:59		Under consideration for publication in Math. Struct. in Comp. Science Constructive analysis, types and exact real numbers Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk Radboud University Nijmegen, NL Add to Reading List Source URL: www.cs.ru.nl Download Document from Source Website File Size: 351,70 KB Share Document on Facebook