Recursive functionals and quantifiers of finite types (1959)

by Stephen C Kleene
Venue:I, Trans. Amer. Math. Soc