Localic completion of generalized metric spaces II: Powerlocales

Bibliographic Details
Main Author: Steven Vickers
Format: Article
Language:English
Published: Journal of Logic and Analysis 2009-10-01
Series:Journal of Logic and Analysis
Online Access:http://www.logicandanalysis.org/index.php/jla/article/view/34