Formalized recursive functionals and formalized realizability - Kleene, Stephen Cole 1909-1994 (American Mathematical Society, 1969)