Formalized recursive functionals and formalized realizability by Kleene, Stephen Cole, Kleene, S. C. fromMemoirs of the American Mathematical Society 0 Type: Book
