A topos for algebraic quantum theory
Chris Heunen‚ Nicolaas P. Landsman and Bas Spitters
Crossref
preprint available as arxiv:0709.4364
Journal
Communications in Mathematical Physics
Pages
63–110
Volume
291
Year
2009
Chris Heunen‚ Nicolaas P. Landsman and Bas Spitters