@inbook(Abramsky6,
author = {S. Abramsky},
year = {2013},
title = {In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman},
chapter = {Relational Databases and Bell's Theorem},
pages = {13--35},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
doi = {10.1007/978-3-642-41660-6\_2},
)
@inproceedings(Abramsky2,
author = {S. Abramsky and R. Soares Barbosa and K. Kishida and R. Lal and S. Mansfield},
year = {2015},
title = {Contextuality, cohomology and paradox},
editor = {S. 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(Abramsky1,
author = {S. Abramsky and A. Brandenburger},
year = {2011},
title = {The Sheaf-Theoretic Structure of Non-Locality and Contextuality},
journal = {New Journal of Physics},
volume = {13},
pages = {113036--113075},
doi = {10.1088/1367-2630/13/11/113036},
)
@inproceedings(Abramsky5,
author = {S. Abramsky and G. Gottlob and P. Kolaitis},
year = {2013},
title = {Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics},
booktitle = {Artificial Intelligence (IJCAI '13), 2013 23rd International Joint Conference on},
publisher = {AAAI Press},
pages = {440--446},
url = {http://ijcai.org/papers13/Papers/IJCAI13-073.pdf},
)
@article(Abramsky3,
author = {S. Abramsky and S. Mansfield and R. Soares Barbosa},
year = {2012},
title = {The cohomology of non-locality and contextuality},
journal = {Electronic Proceedings in Theoretical Computer Science},
volume = {95 - Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011), Nijmegen},
pages = {1--14},
doi = {10.4204/EPTCS.95.1},
)
@(Baez,
author = {J. Baez},
title = {Torsors Made Easy},
url = {http://math.ucr.edu/home/baez/torsors.html},
)
@article(Barbosa,
author = {R. Soares Barbosa},
year = {2014},
title = {On monogamy of non-locality and macroscopic averages: examples and preliminary results},
journal = {Electronic Proceedings in Theoretical Computer Science},
volume = {172 - Proceedings 11th International Workshop on Quantum Physics and Logic (QPL 2014), Kyoto},
pages = {36--55},
doi = {10.4204/EPTCS.172.4},
)
@misc(Rui,
author = {R. Soares Barbosa},
year = {2015},
title = {Contextuality in quantum mechanics and beyond},
howpublished = {D.Phil. thesis, Oxford University},
)
@article(Bell,
author = {J. S. Bell},
year = {1964},
title = {{On the Einstein Podolsky Rosen paradox}},
journal = {Physics},
volume = {1},
number = {3},
pages = {195--200},
doi = {10.1016/S0065-3276(08)60492-X},
)
@mastersthesis(Gio,
author = {G. Car{\`u}},
year = {2015},
title = {Detecting Contextuality: Sheaf Cohomology and All vs Nothing Arguments},
school = {University of Oxford},
url = {http://www.cs.ox.ac.uk/files/7608/Dissertation.pdf},
)
@article(Daykin,
author = {D. E. Daykin and R. H{\"a}ggkvist},
year = {1981},
title = {Degrees giving independent edges in a hypergraph},
journal = {Bulletin of the Australian Mathematical Society},
volume = {23},
number = {01},
pages = {103--109},
doi = {10.1017/S0004972700006924},
)
@article(Greenberger,
author = {D. M. Greenberger and M. A. Horne and A. Shimony and A. 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},
)
@(Greenberger2,
author = {D. M. Greenberger and M. A. Horne and A. Zeilinger},
year = {1989},
title = {Going beyond Bell's Theorem},
doi = {10.1007/978-94-017-0849-4\_10},
)
@article(Hardy2,
author = {L. Hardy},
year = {1992},
title = {Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories},
journal = {Phys. Rev. Lett.},
volume = {68},
number = {20},
pages = {2981--2984},
doi = {10.1103/PhysRevLett.68.2981},
)
@article(Hardy,
author = {L. Hardy},
year = {1993},
title = {Nonlocality for two particles without inequalities for almost all entangled states},
journal = {Phys. Rev. Lett.},
volume = {71},
number = {11},
pages = {1665--1668},
doi = {10.1103/PhysRevLett.71.1665},
)
@article(Howard,
author = {M. Howard and J. Wallman and V. Veitch and J. Emerson},
year = {2014},
title = {Contextuality supplies the "magic" for quantum computation},
journal = {Nature},
volume = {510},
number = {7505},
pages = {351--355},
doi = {10.1038/nature13460},
)
@incollection(Kochen,
author = {S. Kochen and E. P. Specker},
year = {1975},
title = {The Problem of Hidden Variables in Quantum Mechanics},
booktitle = {The Logico-Algebraic Approach to Quantum Mechanics},
series = {The University of Western Ontario Series in Philosophy of Science},
volume = {5a},
publisher = {Springer Netherlands},
pages = {293--328},
doi = {10.1007/978-94-010-1795-4\_17},
)
@misc(Shane,
author = {S. Mansfield},
year = {2013},
title = {The Mathematical Structure of Non-Locality \& Contextuality},
howpublished = {D.Phil. thesis, Oxford University},
url = {http://www.cs.ox.ac.uk/people/shane.mansfield/DPhilThesis-ShaneMansfield.pdf},
)
@inproceedings(ShaneRui,
author = {S. Mansfield and R. Soares Barbosa},
year = {2013},
title = {Extendability in the sheaf-theoretic approach: Construction of {B}ell models from {K}ochen-{S}pecker models},
booktitle = {Informal pre-proceedings of 10th Workshop on Quantum Physics and Logic (QPL 2013), ICFo Barcelona},
url = {http://arxiv.org/pdf/1402.4827.pdf},
)
@article(Mermin2,
author = {N. D. Mermin},
year = {1990},
title = {Quantum mysteries revisited},
journal = {American Journal of Physics},
volume = {58},
number = {8},
pages = {731--734},
doi = {10.1119/1.16503},
)
@article(Mermin4,
author = {N. D. Mermin},
year = {1993},
title = {Hidden variables and the two theorems of John Bell},
journal = {Rev. Mod. Phys.},
volume = {65},
pages = {803--815},
doi = {10.1103/RevModPhys.65.803},
)
@article(Mermin3,
author = {N.D. 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(Penrose,
author = {R. Penrose},
year = {1992},
title = {On the Cohomology of Impossible Figures},
journal = {Leonardo},
volume = {25},
number = {3/4},
pages = {245--247},
doi = {10.2307/1575844},
)
@article(Peres,
author = {A. Peres},
year = {1990},
title = {Incompatible results of quantum measurements},
journal = {Physics Letters A},
volume = {151},
number = {3},
pages = {107 -- 108},
doi = {10.1016/0375-9601(90)90172-K},
)
@article(PR,
author = {S. Popescu and D. Rohrlich},
title = {Quantum nonlocality as an axiom},
journal = {Foundations of Physics},
volume = {24},
number = {3},
pages = {379--385},
doi = {10.1007/BF02058098},
)
@inproceedings(Postnikov,
author = {M. M. Postnikov},
year = {1951},
title = {Determination of the homology groups of a space by means of the homotopy invariants},
booktitle = {Dokl. Akad. Nauk. SSSR (N.S.)},
volume = {76},
pages = {359--362},
)
@book(Alexei,
author = {A. Skorobogatov},
year = {2001},
title = {Torsors and Rational Points},
publisher = {Cambridge University Press},
url = {http://dx.doi.org/10.1017/CBO9780511549588},
note = {Cambridge Books Online},
)