Dag Normann. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp. - Dag Normann. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 (1981), pp. 1–26.
1984 ◽
Vol 49
(2)
◽
pp. 668-670