Resumen de Constructive Gelfand duality for C*-algebras

Thierry Coquand, Bas Spitters

• We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.