Constructive analysis, Types and Exact Real Numbers (0)

by H Geuvers, M Nigqui, B Spitters, F Wiedijk
Venue:Math. Struct. in Computer Science