论文信息 - On Effectively Discontinuous Type-2 Objects - 字舞流文

On Effectively Discontinuous Type-2 Objects

Thomas J. Grilliot

[1] S. C. Kleene,et al. Recursive functionals and quantifiers of finite types. II , 1959 .

[2] Thomas J. Grilliot. Selection functions for recursive functionals , 1969, Notre Dame J. Formal Log..

[3] J. R. Shoenfield,et al. A hierarchy based on a type two object , 1968 .