Turing-machine computable functionals of finite types (1962)

by S C Kleene
Venue:II, Proc. of the London Math. Soc