@misc{indiciae49b24940ef40,
  title = {Constructive Gelfand duality for C*-algebras},
  author = {Thierry Coquand and Bas Spitters},
  year = {2009},
  doi = {10.1017/s0305004109002539},
  url = {https://arxiv.org/abs/0808.1518},
  note = {Source identifier: 0808.1518}
}