Localic completion of generalized metric spaces (2005)

by S Vickers
Venue:I, Theory Appl. Categ