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

by Steven Vickers
Citations:11 - 2 self