@article(Abramsky2015,
 author       = {Samson Abramsky and Rui Soares Barbosa and Kohei Kishida and Raymond Lal and Shane Mansfield},
 year         = {2015},
 title        = {{Contextuality, Cohomology and Paradox}},
 journal      = {24th EACSL Annual Conference on Computer Science Logic (CSL)},
 doi          = {10.4230/LIPIcs.CSL.2015.211},
)
@article(Abramsky2011,
 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},
 doi          = {10.1088/1367-2630/13/11/113036},
)
@incollection(Abramsky2014,
 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.},
 pages        = {59--75},
 doi          = {10.1007/978-3-319-06880-0{\_}3},
)
@article(Abramsky2009,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2009},
 title        = {{Categorical Quantum Mechanics}},
 journal      = {Handbook of Quantum Logic and Quantum Structures},
 pages        = {261--323},
 doi          = {10.1016/B978-0-444-52869-8.50010-4},
)
@article(Logical-nonlocality,
 author       = {Samson Abramsky and Lucien Hardy},
 year         = {2012},
 title        = {Logical Bell inequalities},
 journal      = {Phys. Rev. A},
 volume       = {85},
 pages        = {062114},
 doi          = {10.1103/PhysRevA.85.062114},
)
@article(Negative-probabilities-2,
 author       = {Al-Safi, Sabri W. and Anthony J. Short},
 year         = {2013},
 title        = {Simulating all Nonsignaling Correlations via Classical or Quantum Theory with Negative Probabilities},
 journal      = {Phys. Rev. Lett.},
 volume       = {111},
 pages        = {170403},
 doi          = {10.1103/PhysRevLett.111.170403},
)
@article(Backens2014,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {{The ZX-calculus is complete for stabilizer quantum mechanics}},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {9},
 doi          = {10.1088/1367-2630/16/9/093021},
)
@article(Bar2014,
 author       = {Krzysztof Bar and Jamie Vicary},
 year         = {2014},
 title        = {{Groupoid Semantics for Thermal Computing}},
)
@article(Barnum-1,
 author       = {Howard Barnum and Jonathan Barrett and Matthew Leifer and Alexander Wilce},
 year         = {2007},
 title        = {Generalized No-Broadcasting Theorem},
 journal      = {Phys. Rev. Lett.},
 volume       = {99},
 pages        = {240501},
 doi          = {10.1103/PhysRevLett.99.240501},
)
@article(Barnum-2,
 author       = {Howard Barnum and Alexander Wilce},
 year         = {2011},
 title        = {Information Processing in Convex Operational Theories},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {270},
 number       = {1},
 pages        = {3--15},
 doi          = {10.1016/j.entcs.2011.01.002},
)
@article(Barrett2007,
 author       = {Jonathan Barrett},
 year         = {2007},
 title        = {{Information processing in generalized probabilistic theories}},
 journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
 volume       = {75},
 number       = {3},
 pages        = {1--21},
 doi          = {10.1103/PhysRevA.75.032304},
)
@article(Cunningham2017,
 author       = {Oscar Cunningham and Chris Heunen},
 year         = {2017},
 title        = {{Purity through factorisation}},
)
@article(DeBeaudrap2014,
 author       = {Niel de Beaudrap},
 year         = {2014},
 title        = {{On computation with 'probabilities' modulo k}},
)
@article(Bell,
 author       = {John S. Bell},
 year         = {1964},
 title        = {{On the Einstein–-Podolsky–-Rosen paradox}},
 journal      = {Physics},
 volume       = {1},
 pages        = {195--200},
)
@article(Chiribella-pure,
 author       = {Giulio Chiribella},
 year         = {2014},
 title        = {Distinguishability and copiability of programs in general process theories},
 journal      = {Int. J. Software Informatics},
 volume       = {8},
 number       = {3--4},
 pages        = {209--223},
)
@article(Chiribella2014,
 author       = {Giulio Chiribella},
 year         = {2014},
 title        = {{Dilation of states and processes in operational-probabilistic theories}},
 doi          = {10.4204/EPTCS.172.1},
)
@article(Chiribella2010,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2010},
 title        = {{Probabilistic theories with purification}},
 journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
 volume       = {81},
 number       = {6},
 doi          = {10.1103/PhysRevA.81.062348},
)
@article(Chiribella2011,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2011},
 title        = {{Informational derivation of quantum theory}},
 journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
 volume       = {84},
 number       = {1},
 pages        = {1--39},
 doi          = {10.1103/PhysRevA.84.012311},
)
@article(ChiribellaNamely,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2012},
 title        = {{Quantum Theory, namely the pure and reversible theory of information}},
 journal      = {Entropy},
 volume       = {14},
 number       = {10},
 pages        = {1877--1893},
 doi          = {10.3390/e14101877},
)
@article(Chiribella2015b,
 author       = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti},
 year         = {2015},
 title        = {{Quantum from principles}},
 doi          = {10.1007/978-94-017-7303-4},
)
@article(Chiribella2015a,
 author       = {Giulio Chiribella and Carlo Maria Scandolo},
 year         = {2015},
 title        = {Operational axioms for diagonalizing states},
 volume       = {195},
 pages        = {96--115},
 doi          = {10.4204/EPTCS.195.8},
)
@article(Chiribella2015,
 author       = {Giulio Chiribella and Carlo Maria Scandolo},
 year         = {2015},
 title        = {{Entanglement and thermodynamics in general probabilistic theories}},
 journal      = {New Journal of Physics},
 volume       = {17},
 number       = {10},
 pages        = {103027},
 doi          = {10.1088/1367-2630/17/10/103027},
)
@article(TowardsThermo,
 author       = {Giulio Chiribella and Carlo Maria Scandolo},
 year         = {2016},
 title        = {Entanglement as an axiomatic foundation for statistical mechanics},
)
@article(Purity,
 author       = {Giulio Chiribella and Carlo Maria Scandolo},
 year         = {2016},
 title        = {Purity in microcanonical thermodynamics: a tale of three resource theories},
)
@article(Chiribella2016,
 author       = {Giulio Chiribella and Xiao Yuan},
 year         = {2016},
 title        = {{Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality}},
 journal      = {Information and Computation},
 doi          = {10.1016/j.ic.2016.02.006},
)
@article(Coecke2009p,
 author       = {Bob Coecke},
 year         = {2009},
 title        = {{Quantum Picturalism}},
 journal      = {Contemporary Physics},
 pages        = {1--32},
 doi          = {10.1080/00107510903257624},
)
@article(Coecke2011,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {{Interacting quantum observables: Categorical algebra and diagrammatics}},
 journal      = {New Journal of Physics},
 volume       = {13},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@article(Coecke2012a,
 author       = {Bob Coecke and Bill Edwards},
 year         = {2012},
 title        = {{Spekkens's toy theory as a category of processes}},
 journal      = {Proceedings of Symposia in Applied Mathematics},
 volume       = {71},
 pages        = {28},
 doi          = {10.1090/psapm/071},
)
@article(Coecke2012d,
 author       = {Bob Coecke and Chris Heunen},
 year         = {2012},
 title        = {{Pictures of complete positivity in arbitrary dimension}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {95},
 pages        = {27--35},
 doi          = {10.4204/EPTCS.95.4},
)
@article(Coecke2014a,
 author       = {Bob Coecke and Chris Heunen and Aleks Kissinger},
 year         = {2014},
 title        = {{Categories of quantum and classical channels}},
 journal      = {Quantum Information Processing},
 pages        = {1--31},
 doi          = {10.1007/s11128-014-0837-4},
)
@article(Coecke2015,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2015},
 title        = {{Categorical Quantum Mechanics I: Causal Quantum Processes}},
)
@article(Coecke2016,
 author       = {Bob Coecke},
 year         = {2016},
 title        = {{Terminality Implies No-signalling ... and Much More Than That}},
 journal      = {New Generation Computing},
 volume       = {34},
 pages        = {69--85},
 doi          = {10.1007/s00354-016-0201-6},
)
@book(Coecke2016a,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2016},
 title        = {{Picturing Quantum Processes}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(Coecke2013a,
 author       = {Bob Coecke and Raymond Lal},
 year         = {2013},
 title        = {{Causal Categories: Relativistically Interacting Processes}},
 journal      = {Foundations of Physics},
 volume       = {43},
 number       = {4},
 pages        = {458--501},
 doi          = {10.1007/s10701-012-9646-8},
)
@article(Coecke2008,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2008},
 title        = {{Quantum measurements without sums}},
 journal      = {Mathematics of Quantum Computation and Quantum Technology},
 doi          = {10.1201/9781584889007.ch16},
)
@article(Coecke2013b,
 author       = {Bob Coecke and Dusko Pavlovic and Jamie Vicary},
 year         = {2013},
 title        = {{A new description of orthogonal bases}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 number       = {03},
 doi          = {10.1017/S0960129512000047},
)
@article(Tull2017,
 author       = {Bob Coecke and John Selby and Sean Tull},
 year         = {2017},
 title        = {{Two roads to classicality}},
)
@article(Cunningham2015,
 author       = {Oscar Cunningham and Chris Heunen},
 year         = {2015},
 title        = {{Axiomatizing complete positivity}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 number       = {Qpl 2015},
 pages        = {148--157},
 doi          = {10.4204/EPTCS.195.11},
)
@incollection(Brukner,
 author       = {Borivoje Daki\'c and \v{C}aslav Brukner},
 year         = {2011},
 title        = {Quantum theory and beyond: is entanglement special?},
 editor       = {Hans Halvorson},
 booktitle    = {Deep Beauty: Understanding the Quantum World through Mathematical Innovation},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 pages        = {365--392},
 doi          = {10.1017/CBO9780511976971.011},
)
@article(Fermionic1,
 author       = {Giacomo Mauro D'Ariano and Franco Manessi and Paolo Perinotti and Alessandro Tosini},
 year         = {2014},
 title        = {Fermionic computation is non-local tomographic and violates monogamy of entanglement},
 journal      = {EPL (Europhysics Letters)},
 volume       = {107},
 number       = {2},
 pages        = {20009},
 doi          = {10.1209/0295-5075/107/20009},
)
@article(Fermionic2,
 author       = {Giacomo Mauro D'Ariano and Franco Manessi and Paolo Perinotti and Alessandro Tosini},
 year         = {2014},
 title        = {The {F}eynman problem and fermionic entanglement: Fermionic theory versus qubit theory},
 journal      = {International Journal of Modern Physics A},
 volume       = {29},
 number       = {17},
 pages        = {1430025},
 doi          = {10.1142/S0217751X14300257},
)
@inbook(Negative-probabilities-1,
 author       = {Julien Degorre and Marc Kaplan and Sophie Laplante and J{\'e}r{\'e}mie Roland},
 year         = {2009},
 title        = {The Communication Complexity of Non-signaling Distributions},
 pages        = {270--281},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-03816-7\_24},
)
@article(Fritz2014,
 author       = {Tobias Fritz},
 year         = {2015},
 title        = {{Beyond Bell's Theorem II: Scenarios with arbitrary causal structure}},
 journal      = {Communications in Mathematical Physics},
 volume       = {341},
 number       = {2},
 doi          = {10.1007/s00220-015-2495-5},
)
@article(Gogioso2015b,
 author       = {Stefano Gogioso},
 year         = {2015},
 title        = {{A Bestiary of Sets and Relations}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 number       = {QPL 2015},
 pages        = {208--227},
 doi          = {10.4204/EPTCS.195.16},
)
@article(Gogioso2017d,
 author       = {Stefano Gogioso},
 year         = {2017},
 title        = {{Fantastic quantum theories, and where to find them}},
)
@article(Gogioso2016e,
 author       = {Stefano Gogioso and William Zeng},
 year         = {2017},
 title        = {{Generalised Mermin-type non-locality arguments}},
)
@article(Hadzihasanovic2015,
 author       = {Amar Hadzihasanovic},
 year         = {2015},
 title        = {{A diagrammatic axiomatisation for qubit entanglement}},
 journal      = {Proceedings - Symposium on Logic in Computer Science},
 volume       = {2015},
 pages        = {573--584},
 doi          = {10.1109/LICS.2015.59},
)
@article(Hardy2001,
 author       = {Lucien Hardy},
 year         = {2001},
 title        = {{Quantum Theory From Five Reasonable Axioms}},
)
@incollection(hardy2011,
 author       = {Lucien Hardy},
 year         = {2011},
 title        = {Foliable operational structures for general probabilistic theories},
 editor       = {H. Halvorson},
 booktitle    = {Deep Beauty: Understanding the Quantum World through Mathematical Innovation},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 pages        = {409--442},
 doi          = {10.1017/CBO9780511976971.013},
)
@article(Hardy-informational-2,
 author       = {Lucien Hardy},
 year         = {2011},
 title        = {Reformulating and reconstructing quantum theory},
)
@inbook(hardy2013,
 author       = {Lucien Hardy},
 year         = {2016},
 title        = {Quantum Theory: Informational Foundations and Foils},
 chapter      = {Reconstructing Quantum Theory},
 pages        = {223--248},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-017-7303-4\_7},
)
@article(Pusey,
 author       = {Joe Henson and Raymond Lal and Matthew F Pusey},
 year         = {2014},
 title        = {Theory-independent limits on correlations from generalized Bayesian networks},
 journal      = {New J. Phys.},
 volume       = {16},
 number       = {11},
 pages        = {113043},
 doi          = {10.1088/1367-2630/16/11/113043},
)
@article(Horsman2011,
 author       = {Clare Horsman},
 year         = {2011},
 title        = {{Quantum picturalism for topological cluster-state}},
 journal      = {New Journal of Physics},
 volume       = {133},
 number       = {9},
 doi          = {10.1088/1367-2630/13/9/095011},
)
@phdthesis(Kissinger2012,
 author       = {Aleks Kissinger},
 year         = {2012},
 title        = {{Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing}},
)
@article(Masanes-physical-derivation,
 author       = {Lluis Masanes and Markus P. M\"uller},
 year         = {2011},
 title        = {A derivation of quantum theory from physical requirements},
 journal      = {New J. Phys.},
 volume       = {13},
 number       = {6},
 pages        = {063001},
 doi          = {10.1088/1367-2630/13/6/063001},
)
@article(Selby2017leaks,
 author       = {John Selby and Bob Coecke},
 year         = {2017},
 title        = {{Leaks: quantum, classical, intermediate and more}},
 doi          = {10.1103/RevModPhys.79.555},
)
@article(Selby2017,
 author       = {John Selby and Carlo Maria Scandolo and Bob Coecke},
 year         = {2017},
 title        = {{Reconstructing Quantum Theory from Diagrammatic Postulates}},
)
@article(Selinger2007,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {{Dagger Compact Closed Categories and Completely Positive Maps}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(Selinger2008,
 author       = {Peter Selinger},
 year         = {2008},
 title        = {{Idempotents in dagger categories ( extended abstract )}},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {107----122},
 doi          = {10.1016/j.entcs.2008.04.021},
)
@article(Tull2016,
 author       = {Sean Tull},
 year         = {2016},
 title        = {{Operational Theories of Physics as Categories}},
)