@inbook(cpp-notes,
 author       = {S. Abramsky and N. Tzevelekos},
 year         = {2011},
 title        = {Introduction to Categories and Categorical Logic},
 pages        = {3--94},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-12821-9_1},
)
@inproceedings(CCP,
 author       = {Samson Abramsky and Rui Soares Barbosa and Kohei Kishida and Raymond Lal and Shane Mansfield},
 year         = {2015},
 title        = {Contextuality, cohomology and paradox},
 editor       = {Stephan Kreutzer},
 booktitle    = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {41},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {211--228},
 doi          = {10.4230/LIPIcs.CSL.2015.211},
)
@article(ABBR,
 author       = {Samson {Abramsky} and Adam {Brandenburger}},
 year         = {2011},
 title        = {{The sheaf-theoretic structure of non-locality and contextuality}},
 journal      = {New Journal of Physics},
 volume       = {13},
 eid          = {113036},
 doi          = {10.1088/1367-2630/13/11/113036},
)
@inproceedings(CNLC,
 author       = {Samson Abramsky and Shane Mansfield and Rui Soares Barbosa},
 year         = {2012},
 title        = {The cohomology of non-locality and contextuality},
 editor       = {Bart Jacobs and Peter Selinger and Bas Spitters},
 booktitle    = {Proceedings 8th International Workshop on Quantum Physics and Logic, Nijmegen, Netherlands, October 27--29, 2011},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {95},
 publisher    = {Open Publishing Association},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.95.1},
 note         = {Eprint available at {\href{http://arxiv.org/abs/1111.3620}{arXiv:1111.3620 [quant-ph]}}},
)
@article(bell,
 author       = {J. S. Bell},
 year         = {1964},
 title        = {On the Einstein Podolsky Rosen paradox},
 journal      = {Physics},
 volume       = {1},
 pages        = {195--200},
 doi          = {10.1103/PhysicsPhysiqueFizika.1.195},
)
@book(brown,
 author       = {K. Brown},
 title        = {Cohomology of groups},
 series       = {Graduate Texts in Mathematics,},
 volume       = {87},
 doi          = {10.1007/978-1-4684-9327-6},
)
@article(gio17,
 author       = {Giovanni {Car{\`u}}},
 year         = {2017},
 title        = {{On the Cohomology of Contextuality}},
 journal      = {arXiv e-prints},
 eid          = {arXiv:1701.00656},
 doi          = {10.4204/EPTCS.236.2},
)
@article(gio18,
 author       = {Giovanni {Car{\`u}}},
 year         = {2018},
 title        = {{Towards a complete cohomology invariant for non-locality and contextuality}},
 journal      = {arXiv e-prints},
 eid          = {arXiv:1807.04203},
)
@article(GHZ,
 author       = {Daniel M. Greenberger and Michael A. Horne and Abner Shimony and Anton Zeilinger},
 year         = {1990},
 title        = {Bell's theorem without inequalities},
 journal      = {American Journal of Physics},
 volume       = {58},
 number       = {12},
 pages        = {1131--1143},
 doi          = {10.1119/1.16243},
)
@article(hardy,
 author       = {L. Hardy},
 year         = {1993},
 title        = {{Nonlocality for two particles without inequalities for almost all entangled states}},
 journal      = {Phys. Rev. Lett. 71},
 doi          = {10.1103/PhysRevLett.71.1665},
)
@article(Howard,
 author       = {Mark Howard and Joel Wallman and Victor Veitch and Joseph Emerson},
 year         = {2014},
 title        = {Contextuality supplies the ‘magic’ for quantum computation},
 journal      = {Nature},
 volume       = {510},
 number       = {7505},
 pages        = {351},
 doi          = {10.1038/nature13460},
)
@inbook(Kochen1975,
 author       = {Simon Kochen and E. P. Specker},
 year         = {1975},
 title        = {The Problem of Hidden Variables in Quantum Mechanics},
 pages        = {293--328},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-010-1795-4_17},
)
@article(Mermin2,
 author       = {N. David Mermin},
 year         = {1990},
 title        = {Simple unified form for the major no-hidden-variables theorems},
 journal      = {Phys. Rev. Lett.},
 volume       = {65},
 pages        = {3373--3376},
 doi          = {10.1103/PhysRevLett.65.3373},
)
@article(Mermin,
 author       = {N. David {Mermin}},
 year         = {1993},
 title        = {{Hidden variables and the two theorems of John Bell}},
 journal      = {Reviews of Modern Physics},
 volume       = {65},
 pages        = {803--815},
 doi          = {10.1103/RevModPhys.65.803},
)
@article(TPCQM,
 author       = {Cihan {Okay} and Sam {Roberts} and Stephen D. {Bartlett} and Robert {Raussendorf}},
 year         = {2017},
 title        = {{Topological proofs of contextuality in quantum mechanics}},
 journal      = {arXiv e-prints},
 eid          = {arXiv:1701.01888},
)
@article(CMBQC.5449R,
 author       = {Robert {Raussendorf}},
 year         = {2009},
 title        = {{Contextuality in Measurement-based Quantum Computation}},
 journal      = {arXiv e-prints},
 eid          = {arXiv:0907.5449},
 doi          = {10.1103/PhysRevA.88.022322},
)
@article(MBQC,
 author       = {Robert {Raussendorf} and Daniel E. {Browne} and Hans J. {Briegel}},
 year         = {2003},
 title        = {{Measurement-based quantum computation on cluster states}},
 journal      = {Physical Review A},
 volume       = {68},
 eid          = {022312},
 doi          = {10.1103/PhysRevA.68.022312},
)
@article(roumen,
 author       = {Frank {Roumen}},
 year         = {2016},
 title        = {{Cohomology of Effect Algebras}},
 journal      = {arXiv e-prints},
 eid          = {arXiv:1602.00567},
 doi          = {10.4204/EPTCS.236.12},
)
@inproceedings(samsander,
 author       = {Sam Staton and Sander Uijlen},
 year         = {2015},
 title        = {Effect Algebras, Presheaves, Non-locality and Contextuality},
 editor       = {Magn{\'u}s M. Halld{\'o}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann},
 booktitle    = {Automata, Languages, and Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {401--413},
 doi          = {10.1007/s10701-012-9654-8},
)
@misc(webb,
 author       = {Peter J. Webb},
 title        = {An Introduction to the Cohomology of Groups},
 url          = {http://www-users.math.umn.edu/~webb/oldteaching/Year2010-11/8246CohomologyNotes.pdf},
)
@book(weibel,
 author       = {Charles A. Weibel},
 year         = {1994},
 title        = {An Introduction to Homological Algebra},
 series       = {Cambridge Studies in Advanced Mathematics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139644136},
)