Continuity properties in constructive mathematics (1992)

by H Ishihara
Venue:Journal of Symbolic Logic