Formalized recursive functionals and formalized realizability - Kleene, Stephen Cole 1909- (Memoirs of the American Mathematical Society ;, 1969)