@misc{indiciaedf78cc4a8c1f,
  title = {Constructive Theory of Banach algebras},
  author = {Thierry Coquand and Bas Spitters},
  year = {2010},
  doi = {10.4115/jla.2010.2.11},
  url = {https://arxiv.org/abs/1002.4011},
  note = {Source identifier: 1002.4011}
}