Klaus Weihrauch. On Computable Metric Spaces Tietze-Urysohn Extension Is Computable. In Jens Blanck, Vasco Brattka, Peter Hertling, editors, Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers. Volume 2064 of Lecture Notes in Computer Science, pages 357-368, Springer, 2000. [doi]
Abstract is missing.