Constructive Gelfand duality for C*-algebras
COQUAND, THIERRY, SPITTERS, BASVolume:
147
Language:
english
Journal:
Mathematical Proceedings of the Cambridge Philosophical Society
DOI:
10.1017/S0305004109002515
Date:
September, 2009
File:
PDF, 213 KB
english, 2009