@misc{indiciaea922e9276424,
  title = {A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations},
  author = {C. J. Isham and J. Butterfield},
  year = {1998},
  url = {https://arxiv.org/abs/quant-ph/9803055},
  note = {Source identifier: quant-ph/9803055}
}