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