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-344

Subject Categories

Mathematics

DOI

10.1017/S0305004109002515

More information

Created

10/10/2017