Thierry Coquand, Bas Spitters. Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. J. UCS, 11(12):1932-1944, 2005. [doi]
@article{CoquandS05,
title = {Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems},
author = {Thierry Coquand and Bas Spitters},
year = {2005},
url = {http://www.jucs.org/jucs_11_12/formal_topotoly_and_constructive},
researchr = {https://researchr.org/publication/CoquandS05},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {11},
number = {12},
pages = {1932-1944},
}