Generalized Banach-Mazur functionals in the topos of recursive sets (1982)

by P Mulry
Venue:J. Pure Applied Algebra