Recursive functionals of finite type (1963)

by S C Kleene
Venue:II. Transactions of the American Mathematical Society