Constructive Gelfand duality for C*-algebras
Journal article, 2009
theorem
Author
Thierry Coquand
University of Gothenburg
Bas Spitters
Mathematical Proceedings of the Cambridge Philosophical Society
0305-0041 (ISSN) 1469-8064 (eISSN)
Vol. 147 339-344Subject Categories
Mathematics
DOI
10.1017/S0305004109002515