Recursive functionals and quantifiers of finite types (1959)

by S C Kleene
Venue:I. Trans. Amer. Math. Soc