@misc{indiciaee6f4dd4ded98,
  title = {A topos for algebraic quantum theory},
  author = {Chris Heunen and Nicolaas P. Landsman and Bas Spitters},
  year = {2009},
  doi = {10.1007/s00220-009-0865-6},
  url = {https://arxiv.org/abs/0709.4364},
  note = {Source identifier: 0709.4364}
}