Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems.
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
Bas Spiiters
J.UCS 11
Vol. 11 12 1932-1944
Subject Categories
Mathematical Analysis