Continuous Functionals of Dependent and Transfinite Types (1999)

by U Berger
Venue:in Models and Computability, London Mathematical Society, Lecture Note Series