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 1932-1944

Ämneskategorier

Matematisk analys