Recursive functionals and quantifiers of finite types (1963)

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