Recursive functionals of finite type (1959)

by S C Kleene
Venue:I, Transactions of the American Mathematical Society