Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems

Thierry Coquand, Bas Spitters. Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. J. UCS, 11(12):1932-1944, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.