Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl. Weakly Computable Real Numbers and Total Computable Real Functions. In Jie Wang, editor, Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings. Volume 2108 of Lecture Notes in Computer Science, pages 586-595, Springer, 2001. [doi]
Abstract is missing.