Recursion theory on the countable functionals (1975)

by J M E Hyland