On the definition of computable functionals
Volume 42 / 1955
Fundamenta Mathematicae 42 (1955), 232-239
DOI: 10.4064/fm-42-2-232-239