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