Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems.
Artikel i vetenskaplig tidskrift, 2005
Författare
Thierry Coquand
Göteborgs universitet
Bas Spiiters
J.UCS 11
Vol. 11 12 1932-1944
Ämneskategorier
Matematisk analys