The dual locale of a seminormed space, Cahiers de topologie et geometrie di erentielle (1987)

by C J Mulvey, J W Pelletier