@Inproceedings{EPTCS266.24,
  author    = {Dunne, Kevin},
  year      = {2018},
  title     = {Spectral Presheaves, Kochen-Specker  Contextuality, and Quantale-Valued Relations},
  editor    = {Coecke, Bob and Kissinger, Aleks},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Quantum Physics and Logic,
               {\rm Nijmegen, The Netherlands, 3-7 July 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {266},
  publisher = {Open Publishing Association},
  pages     = {386-398},
  doi       = {10.4204/EPTCS.266.24},
}