Communications in Mathematical PhysicsA Comparison of Two Topos-Theoretic Approaches to Quantum TheorySander WoltersPublished Dec 26, 2012• 22 citationsPublisherDOI10.1007/s00220-012-1652-3