The dual locale of a seminormed space C. J. Mulvey; J. Wick-Pelletier — 1982 Cahiers de Topologie et Géométrie Différentielle Catégoriques