On the definitions of computable real continuous functions
Volume 44 / 1957
Fundamenta Mathematicae 44 (1957), 61-71
DOI: 10.4064/fm-44-1-61-71