Pauly, Arno; Steinberg, Florian Comparing representations for function spaces in computable analysis. (English) Zbl 1436.03241 Theory Comput. Syst. 62, No. 3, 557-582 (2018). MSC: 03D78 PDFBibTeX XMLCite \textit{A. Pauly} and \textit{F. Steinberg}, Theory Comput. Syst. 62, No. 3, 557--582 (2018; Zbl 1436.03241) Full Text: DOI arXiv
Brattka, Vasco Computing uniform bounds. (English) Zbl 1261.03162 Brattka, Vasco (ed.) et al., CCA 2002: computability and complexity in analysis. Papers from the 5th workshop, University of Málaga, Málaga, Spain, July 12–13, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 66, No. 1, 13-24 (2002). MSC: 03F60 46S30 PDFBibTeX XMLCite \textit{V. Brattka}, Electron. Notes Theor. Comput. Sci. 66, No. 1, 13--24 (2002; Zbl 1261.03162) Full Text: DOI