Hereditarily majorizable functionals of finite type, in: Troelstra [1973 (0)

by A Kino, J Myhill, R E