TY  - RPRT
TI  - A topos for algebraic quantum theory
AU  - Chris Heunen
AU  - Nicolaas P. Landsman
AU  - Bas Spitters
PY  - 2009
DO  - 10.1007/s00220-009-0865-6
UR  - https://arxiv.org/abs/0709.4364
ID  - 0709.4364
ER  -