Alberto Ciaffaglione, Pietro Di Gianantonio. A Tour with Constructive Real Numbers. In Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, editors, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Volume 2277 of Lecture Notes in Computer Science, pages 41-52, Springer, 2000. [doi]
Abstract is missing.