Formalized recursive functionals and formalized realizability - 1909- (Providence, Rhode Island American Mathematical Society, 1969)
Bibliography: p. 104-106.
Keywords: Recursive functions