Localic completion of generalized metric spaces II: Powerlocales (2009)

by Steven Vickers
Citations:12 - 3 self