Title: Formalized recursive functionals and formalized realizability
Subjects: Recursive functions, Symbolic and mathematical Logic