Title: Formalized Recursive Functionals and Formalized Realizability (Memoirs; No. 1/89)