Turing-machine computable functionals of finite type (1962)

by S C Kleene
Venue:II. Proceedings of the London Mathematical Society