Closing the gap between the continuous functionals and recursion (1997)

by D Normann
Venue:E, Arch. Math. Logic