@article(aasnaess2020cohomology, author = {Aasn{\ae}ss, Sivert}, year = {2020}, title = {Cohomology and the algebraic structure of contextuality in measurement based quantum computation}, journal = {EPTCS}, volume = {318}, pages = {242--253}, doi = {10.4204/EPTCS.318.15}, ) @incollection(abramsky2013relational, author = {Samson Abramsky}, year = {2013}, title = {Relational databases and Bell\IeC{\textquoteright}s theorem}, booktitle = {In search of elegance in the theory and practice of computation}, publisher = {Springer}, pages = {13--35}, doi = {10.1007/978-3-642-41660-6\_2}, ) @article(abramsky2020logic, author = {Samson Abramsky and Rui Soares Barbosa}, year = {2021}, title = {The logic of contextuality}, journal = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {183: 5:1--5:18}, doi = {10.4230/LIPIcs.CSL.2021.5}, ) @inproceedings(abramsky2019comonadic, author = {Samson Abramsky and Rui Soares Barbosa and Martti Karvonen and Shane Mansfield}, year = {2019}, title = {A comonadic view of simulation and quantum resources}, booktitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, organization = {IEEE}, pages = {1--12}, doi = {10.1109/LICS.2019.8785677}, ) @article(abramsky2015contextuality, author = {Samson Abramsky and Rui Soares Barbosa and Kohei Kishida and Raymond Lal and Shane Mansfield}, year = {2015}, title = {Contextuality, cohomology and paradox}, journal = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {41:211-228}, doi = {10.4230/LIPIcs.CSL.2015.211}, ) @article(abramsky2016possibilities, author = {Samson Abramsky and Rui Soares Barbosa and Kohei Kishida and Raymond Lal and Shane Mansfield}, year = {2016}, title = {Possibilities determine the combinatorial structure of probability polytopes}, journal = {Journal of Mathematical Psychology}, volume = {74}, pages = {58--65}, doi = {10.1016/j.jmp.2016.03.006}, ) @article(abramsky2017contextual, author = {Samson Abramsky and Rui Soares Barbosa and Shane Mansfield}, year = {2017}, title = {Contextual fraction as a measure of contextuality}, journal = {Physical review letters}, volume = {119}, number = {5}, pages = {050504}, doi = {10.1103/PhysRevLett.119.050504}, ) @article(abramsky2017quantum, author = {Samson Abramsky and Rui Soares Barbosa and Nadish de Silva and Octavio Zapata}, year = {2017}, title = {The quantum monad on relational structures}, journal = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {83:35:1--35:19}, doi = {10.4230/LIPIcs.MFCS.2017.35}, ) @article(abramsky2011sheaf, 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}, number = {11}, pages = {113036}, doi = {10.1088/1367-2630/13/11/113036}, ) @incollection(abramsky2014operational, author = {Samson Abramsky and Adam Brandenburger}, year = {2014}, title = {An operational interpretation of negative probabilities and no-signalling models}, booktitle = {Horizons of the mind. A tribute to Prakash Panangaden}, publisher = {Springer}, pages = {59--75}, doi = {10.1007/978-3-319-06880-0\_3}, ) @article(abramsky2019non, author = {Samson Abramsky and Giovanni Car{\`u}}, year = {2019}, title = {Non-locality, contextuality and valuation algebras: a general theory of disagreement}, journal = {Philosophical Transactions of the Royal Society A}, volume = {377}, number = {2157}, pages = {20190036}, doi = {10.1098/rsta.2019.0036}, ) @article(abramsky2009categorical, author = {Samson Abramsky and Bob Coecke}, year = {2009}, title = {Categorical quantum mechanics}, journal = {Handbook of quantum logic and quantum structures}, volume = {2}, pages = {261--325}, doi = {10.1016/B978-0-444-52869-8.50010-4}, ) @article(abramsky2012logical, author = {Samson Abramsky and Lucien Hardy}, year = {2012}, title = {Logical bell inequalities}, journal = {Physical Review A}, volume = {85}, number = {6}, pages = {062114}, doi = {10.1103/PhysRevA.85.062114}, ) @article(abramsky2011cohomology, author = {Samson Abramsky and Shane Mansfield and Rui Soares Barbosa}, year = {2012}, title = {The cohomology of non-locality and contextuality}, journal = {EPTCS}, volume = {95}, doi = {10.4204/EPTCS.95.1}, ) @article(barbosa2019continuous, author = {Rui Soares Barbosa and Tom Douce and Pierre-Emmanuel Emeriau and Elham Kashefi and Shane Mansfield}, year = {2019}, title = {Continuous-variable nonlocality and contextuality}, journal = {arXiv preprint arXiv:1905.08267}, ) @article(barrett2019quantum, author = {Jonathan Barrett and Robin Lorenz and Ognyan Oreshkov}, year = {2019}, title = {Quantum causal models}, journal = {arXiv preprint arXiv:1906.10726}, ) @article(barrett2021cyclic, author = {Jonathan Barrett and Robin Lorenz and Ognyan Oreshkov}, year = {2021}, title = {Cyclic quantum causal models}, journal = {Nature communications}, volume = {12}, number = {1}, pages = {1--15}, doi = {10.1038/s41467-020-20456-x}, ) @article(baumeler2014maximal, author = {\"Amin Baumeler and Adrien Feix and Stefan Wolf}, year = {2014}, title = {Maximal incompatibility of locally classical behavior and global causal order in multiparty scenarios}, journal = {Phys. Rev. A}, volume = {90}, pages = {042106}, doi = {10.1103/PhysRevA.90.042106}, ) @inproceedings(baumeler2014perfect, author = {{\"A}min Baumeler and Stefan Wolf}, year = {2014}, title = {Perfect signaling among three parties violating predefined causal order}, booktitle = {2014 IEEE International Symposium on Information Theory}, organization = {IEEE}, pages = {526--530}, doi = {10.1109/ISIT.2014.6874888}, ) @article(Bohr35, author = {N. Bohr}, year = {1935}, title = {Can Quantum-Mechanical Description of Physical Reality be Considered Complete?}, journal = {Phys. Rev.}, volume = {48}, pages = {696--702}, doi = {10.1103/PhysRev.48.696}, url = {https://link.aps.org/doi/10.1103/PhysRev.48.696}, ) @article(branciard2015simplest, author = {Cyril Branciard and Mateus Ara{\'u}jo and Adrien Feix and Fabio Costa and {\v{C}}aslav Brukner}, year = {2015}, title = {The simplest causal inequalities and their violation}, journal = {New Journal of Physics}, volume = {18}, number = {1}, pages = {013008}, doi = {10.1088/1367-2630/18/1/013008}, ) @article(caru2017cohomology, author = {Giovanni Caru}, year = {2017}, title = {On the cohomology of contextuality}, journal = {EPTCS}, volume = {266}, doi = {10.4204/EPTCS.236.2}, ) @article(caru2018towards, author = {Giovanni Caru}, year = {2018}, title = {Towards a complete cohomology invariant for non-locality and contextuality}, journal = {arXiv preprint arXiv:1807.04203}, ) @article(chiribella2010probabilistic, author = {Giulio Chiribella and D\IeC{\textquoteright}Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2010}, title = {Probabilistic theories with purification}, journal = {Physical Review A}, volume = {81}, number = {6}, pages = {062348}, doi = {10.1103/PhysRevA.81.062348}, ) @article(chiribella2011informational, author = {Giulio Chiribella and D\IeC{\textquoteright}Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2011}, title = {Informational derivation of quantum theory}, journal = {Physical Review A}, volume = {84}, number = {1}, pages = {012311}, doi = {10.1103/PhysRevA.84.012311}, ) @incollection(chiribella2016quantum, author = {Giulio Chiribella and D\IeC{\textquoteright}Ariano, Giacomo Mauro and Paolo Perinotti}, year = {2016}, title = {Quantum from principles}, booktitle = {Quantum theory: informational foundations and foils}, publisher = {Springer}, pages = {171--221}, doi = {10.1007/978-94-017-7303-4\_6}, ) @article(Chiribella2013, author = {Giulio Chiribella and D\IeC{\textquoteright}Ariano, Giacomo Mauro and Paolo Perinotti and Benoit Valiron}, year = {2013}, title = {Quantum computations without definite causal structure}, journal = {Physical Review A}, volume = {88}, number = {2}, doi = {10.1103/physreva.88.022318}, ) @article(coecke2014terminality, author = {Bob Coecke}, year = {2014}, title = {Terminality implies non-signalling}, journal = {EPTCS}, volume = {172}, pages = {27--35}, doi = {10.4204/EPTCS.172.3}, ) @article(coecke2016terminality, author = {Bob Coecke}, year = {2016}, title = {Terminality implies no-signalling... and much more than that}, journal = {New Generation Computing}, volume = {34}, number = {1-2}, pages = {69--85}, doi = {10.1007/s00354-016-0201-6}, ) @article(coecke2016categories, author = {Bob Coecke and Chris Heunen and Aleks Kissinger}, year = {2016}, title = {Categories of quantum and classical channels}, journal = {Quantum Information Processing}, volume = {15}, number = {12}, pages = {5179--5209}, doi = {10.1007/s11128-014-0837-4}, ) @book(coecke_kissinger_2017, author = {Bob Coecke and Aleks Kissinger}, year = {2017}, title = {{Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning}}, publisher = {Cambridge University Press}, doi = {10.1017/9781316219317}, ) @article(coecke2012time, author = {Bob Coecke and Raymond Lal}, year = {2012}, title = {Time asymmetry of probabilities versus relativistic causal structure: An arrow of time}, journal = {Physical review letters}, volume = {108}, number = {20}, pages = {200403}, doi = {10.1103/PhysRevLett.108.200403}, ) @article(de2019contextuality, author = {De Silva, Nadish and Rui Soares Barbosa}, year = {2019}, title = {Contextuality and noncommutative geometry in quantum mechanics}, journal = {Communications in Mathematical Physics}, volume = {365}, number = {2}, pages = {375--429}, doi = {10.1007/s00220-018-3222-9}, ) @inproceedings(Dzhafarov2016, author = {Ehtibar N. Dzhafarov and Janne V. Kujala and Victor H. Cervantes}, year = {2016}, title = {Contextuality-by-Default: A Brief Overview of Ideas, Concepts, and Terminology}, editor = {Harald Atmanspacher and Thomas Filk and Emmanuel Pothos}, booktitle = {Quantum Interaction}, publisher = {Springer International Publishing}, address = {Cham}, pages = {12--23}, doi = {10.1007/978-3-319-28675-4\_2}, ) @article(d2018causality, author = {D\IeC{\textquoteright}Ariano, Giacomo Mauro}, year = {2018}, title = {Causality re-established}, journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences}, volume = {376}, number = {2123}, pages = {20170313}, doi = {10.1098/rsta.2017.0313}, ) @article(emeriau2020quantum, author = {Pierre-Emmanuel Emeriau and Mark Howard and Shane Mansfield}, year = {2020}, title = {Quantum Advantage in Information Retrieval}, journal = {arXiv preprint arXiv:2007.15643}, ) @article(fritz2010quantum, author = {Tobias Fritz}, year = {2010}, title = {Quantum correlations in the temporal Clauser--Horne--Shimony--Holt (CHSH) scenario}, journal = {New Journal of Physics}, volume = {12}, number = {8}, pages = {083055}, doi = {10.1088/1367-2630/12/8/083055}, ) @article(Fritz2012, author = {Tobias Fritz}, year = {2012}, title = {Beyond Bell{\textquotesingle}s theorem: correlation scenarios}, journal = {New Journal of Physics}, volume = {14}, number = {10}, pages = {103001}, doi = {10.1088/1367-2630/14/10/103001}, ) @article(fritz2016beyond, author = {Tobias Fritz}, year = {2016}, title = {Beyond Bell\IeC{\textquoteright}s theorem II: Scenarios with arbitrary causal structure}, journal = {Communications in Mathematical Physics}, volume = {341}, number = {2}, pages = {391--434}, doi = {10.1007/s00220-015-2495-5}, ) @article(gallego2014nonlocality, author = {Rodrigo Gallego and Lars Erik W{\"u}rflinger and Rafael Chaves and Ac{\'\i}n, Antonio and Miguel Navascu{\'e}s}, year = {2014}, title = {Nonlocality in sequential correlation scenarios}, journal = {New Journal of Physics}, volume = {16}, number = {3}, pages = {033037}, doi = {10.1088/1367-2630/16/3/033037/}, ) @phdthesis(gogioso2017thesis, author = {Stefano Gogioso}, year = {2017}, title = {Categorical Quantum Dynamics}, school = {University of Oxford}, ) @article(gogioso2017fantastic, author = {Stefano Gogioso}, year = {2017}, title = {Fantastic quantum theories and where to find them}, journal = {To appear in Compositionality (ACT 2019)}, url = {https://arxiv.org/abs/1703.10576}, ) @article(gogioso2017categorical, author = {Stefano Gogioso and Carlo Maria Scandolo}, year = {2018}, title = {Categorical probabilistic theories}, journal = {EPTCS}, volume = {266}, pages = {367--385}, doi = {10.4204/EPTCS.266.23}, ) @article(zeng2019generalised, author = {Stefano Gogioso and William Zeng}, year = {2019}, title = {Generalised Mermin-type non-locality arguments}, journal = {Logical Methods in Computer Science}, volume = {15}, doi = {10.23638/LMCS-15(2:3)2019}, ) @article(Goswami2018, author = {Kaumudibikash {Goswami} and Christina {Giarmatzi} and Michael {Kewming} and Fabio {Costa} and Cyril {Branciard} and Jacquiline {Romero} and Andrew G. {White}}, year = {2018}, title = {{Indefinite Causal Order in a Quantum Switch}}, journal = {Physical Review Letters}, volume = {121}, number = {9}, eid = {090503}, doi = {10.1103/PhysRevLett.121.090503}, ) @article(Henson2014, author = {Joe Henson and Raymond Lal and Matthew F Pusey}, year = {2014}, title = {Theory-independent limits on correlations from generalized Bayesian networks}, journal = {New Journal of Physics}, volume = {16}, number = {11}, pages = {113043}, doi = {10.1088/1367-2630/16/11/113043}, ) @book(heunen2019categories, author = {Christiaan Heunen and Jamie Vicary}, year = {2019}, title = {Categories for quantum theory: an introduction}, publisher = {Oxford University Press}, address = {United Kingdom}, doi = {10.1093/oso/9780198739623.001.0001}, ) @incollection(kalckar1985, author = {J\IeC{\o}rgen Kalckar}, year = {1985}, title = {General Discussion At The Fifth Solvay Conference: Unpublished Manuscript From Folder Labelled Notes From Solvay Meeting(1927)}, booktitle = {Foundations of Quantum Physics I (1926\IeC{\textendash}1932)}, series = {Niels Bohr Collected Works}, volume = {6}, publisher = {Elsevier}, pages = {99 -- 106}, doi = {10.1016/S1876-0503(08)70332-3}, ) @article(karvonen2018categories, author = {Martti Karvonen}, year = {2018}, title = {Categories of empirical models}, journal = {EPTCS}, volume = {287}, doi = {10.4204/eptcs.287.14}, ) @article(karvonen2021neither, author = {Martti Karvonen}, year = {2021}, title = {Neither contextuality nor non-locality admit catalysts}, journal = {arXiv preprint arXiv:2102.07637}, ) @article(khrennikov1993p, author = {Andrei Khrennikov}, year = {1993}, title = {p-Adic probability theory and its applications. The principle of statistical stabilization of frequencies}, journal = {Theoretical and Mathematical Physics}, volume = {97}, number = {3}, pages = {1340--1348}, doi = {10.1007/BF01015763}, ) @article(kishida2014stochastic, author = {Kohei Kishida}, year = {2014}, title = {Stochastic Relational Presheaves and Dynamic Logic for Contextuality}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {172}, pages = {115\IeC{\textendash}132}, doi = {10.4204/eptcs.172.9}, ) @article(kishida2016logic, author = {Kohei Kishida}, year = {2016}, title = {Logic of local inference for contextuality in quantum physics and beyond}, journal = {Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, volume = {113:1--113:14}, doi = {10.4230/LIPIcs.ICALP.2016.113}, ) @article(kissinger2017equivalence, author = {Aleks Kissinger and Matty Hoban and Bob Coecke}, year = {2017}, title = {Equivalence of relativistic causal structure and process terminality}, journal = {arXiv preprint arXiv:1708.04118}, ) @inproceedings(kissinger2017categorical, author = {Aleks Kissinger and Sander Uijlen}, year = {2017}, title = {A categorical semantics for causal structure}, booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, organization = {IEEE}, pages = {1--12}, doi = {10.23638/LMCS-15(3:15)2019}, ) @article(mansfield2017consequences, author = {Shane Mansfield}, year = {2017}, title = {Consequences and applications of the completeness of Hardy's nonlocality}, journal = {Physical Review A}, volume = {95}, number = {2}, pages = {022122}, doi = {10.1103/PhysRevA.95.022122}, ) @misc(mansfield2017contextuality, author = {Shane Mansfield}, year = {2017}, title = {Contextuality in Causal scenarios}, howpublished = {\url{https://simons.berkeley.edu/sites/default/files/docs/8998/leachtsimons.pdf} (accessed 14 Mar 2021)}, ) @misc(mansfield2017unified, author = {Shane Mansfield}, year = {2017}, title = {A unified approach to contextuality and violations of macrorealism}, howpublished = {\url{https://www1.psych.purdue.edu/~ehtibar/workshop/files/leacht_prague.pdf} (accessed 14 Mar 2021)}, ) @article(mansfield2014extendability, author = {Shane Mansfield and Rui Soares Barbosa}, year = {2014}, title = {Extendability in the sheaf-theoretic approach: Construction of Bell models from Kochen-Specker models}, journal = {arXiv preprint arXiv:1402.4827}, ) @article(mansfield2012hardy, author = {Shane Mansfield and Tobias Fritz}, year = {2012}, title = {Hardy\IeC{\textquoteright}s non-locality paradox and possibilistic conditions for non-locality}, journal = {Foundations of Physics}, volume = {42}, number = {5}, pages = {709--719}, doi = {10.1007/s10701-012-9640-1}, ) @article(mansfield2018quantum, author = {Shane Mansfield and Elham Kashefi}, year = {2018}, title = {Quantum advantage from sequential-transformation contextuality}, journal = {Physical review letters}, volume = {121}, number = {23}, pages = {230401}, doi = {10.1103/PhysRevLett.121.230401}, ) @article(Oreshkov2012, author = {Ognyan {Oreshkov} and Fabio {Costa} and {\v{C}}aslav {Brukner}}, year = {2012}, title = {{Quantum correlations with no causal order}}, journal = {Nature Communications}, volume = {3}, eid = {1092}, doi = {10.1038/ncomms2076}, ) @article(oreshkov2016causal, author = {Ognyan Oreshkov and Christina Giarmatzi}, year = {2016}, title = {Causal and causally separable processes}, journal = {New Journal of Physics}, volume = {18}, number = {9}, pages = {093020}, doi = {10.1088/1367-2630/18/9/093020/}, ) @article(pinzani2020giving, author = {Nicola Pinzani and Stefano Gogioso}, year = {2020}, title = {Giving Operational Meaning to the Superposition of Causal Orders}, journal = {To appear in EPTCS (QPL 2020)}, url = {https://arxiv.org/abs/2003.13306}, ) @inproceedings(pinzani2019categorical, author = {Nicola Pinzani and Stefano Gogioso and Bob Coecke}, year = {2019}, title = {Categorical semantics for time travel}, booktitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, organization = {IEEE}, pages = {1--20}, doi = {10.1109/LICS.2019.8785664}, ) @article(Plotnitsky2019, author = {Arkady Plotnitsky}, year = {2019}, title = {Spooky predictions at a distance: reality, complementarity and contextuality in quantum theory}, journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences}, volume = {377}, number = {2157}, pages = {20190089}, doi = {10.1098/rsta.2019.0089}, ) @book(reichenbach1956time, author = {Hans Reichenbach}, year = {1956}, title = {The direction of time}, publisher = {University of California Berkeley Press}, doi = {10.1063/1.3059791}, ) @article(Rubino2017, author = {Giulia Rubino and Lee A. Rozema and Adrien Feix and Mateus Ara{\'u}jo and Jonas M. Zeuner and Lorenzo M. Procopio and {\v C}aslav Brukner and Philip Walther}, year = {2017}, title = {Experimental verification of an indefinite causal order}, journal = {Science Advances}, volume = {3}, number = {3}, doi = {10.1126/sciadv.1602589}, ) @article(staton2018effect, author = {Sam Staton and Sander Uijlen}, year = {2018}, title = {Effect algebras, presheaves, non-locality and contextuality}, journal = {Information and Computation}, volume = {261}, pages = {336--354}, doi = {10.1016/j.ic.2018.02.012}, ) @article(wester2017almost, author = {Linde Wester}, year = {2018}, title = {Almost Equivalent Paradigms of Contextuality}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, pages = {1\IeC{\textendash}22}, doi = {10.4204/eptcs.266.1}, ) @phdthesis(wester2018thesis, author = {Linde Wester}, year = {2018}, title = {Classical and Quantum Structures in Computation}, school = {University of Oxford}, )