Constructive Gelfand duality for C*-algebras
Artikel i vetenskaplig tidskrift, 2009
theorem
Författare
Thierry Coquand
Göteborgs universitet
Bas Spitters
Mathematical Proceedings of the Cambridge Philosophical Society
0305-0041 (ISSN) 1469-8064 (eISSN)
Vol. 147 339-344Ämneskategorier
Matematik
DOI
10.1017/S0305004109002515