Strong majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals (1985)

by M Bezem
Venue:J. Symb. Logic