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 - Constructive analysis - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2007-03-28 09:14:59 Open Document File Size: 351,70 KB Share Result on Facebook

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, NLAdd to Reading List