Constructive analysis, types and exact real numbers (2007)

by H Geuvers, M Niqui, B Spitters, F Wiedijk
Venue:Mathematical Structures in Computer Science