Recursive functionals and quantifiers of finite types (1963)

by S Kleene
Venue:II. Trans. Amer. Math. Soc