A point-free characterisation of Bishop locally compact metric spaces. Kawai, T. Journal of Logic & Analysis, 9(c2):1–44, 2017.
A point-free characterisation of Bishop locally compact metric spaces [link]Paper  doi  bibtex   
@ARTICLE{Kaw17,
  author = {Kawai, Tatsuji},
  title = {A point-free characterisation of {B}ishop locally compact metric
	spaces},
  journal = {Journal of Logic \& Analysis},
  year = {2017},
  volume = {9},
  pages = {1--44},
  number = {c2},
  doi = {10.4115/jla.2017.9.c2},
  file = {Kaw17.pdf:Kaw17.pdf:PDF},
  issn = {17599008},
  keywords = {bib, con},
  url = {http://logicandanalysis.org/index.php/jla/article/view/239/120}
}

Downloads: 0