%0 Book Section %A Kleene, S. C. %B Recursion Theory %D 1985 %E Nerode, Anil %E Shore, Richard A. %I American Mathematical Society %P 42--119 %T Unimonotone functions of finite types (recursive functionals and quantifiers of finite types revisited IV)