1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2018★ 1 cited
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations
Kevin Dunne
In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the…
cs.LO2018★ 1 cited
On the Structure of Abstract H*-Algebras
Kevin Dunne
Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach t…