Semicontinuous real numbers in a topos (1983)

by Jack Z Reichman
Venue:J. Pure Appl. Algebra