@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}, ) @inproceedings(abramsky2004categorical, author = {Samson Abramsky and Bob Coecke}, year = {2004}, title = {A categorical semantics of quantum protocols}, booktitle = {Logic in computer science, 2004. Proceedings of the 19th Annual IEEE Symposium on}, organization = {IEEE}, pages = {415--425}, doi = {10.1109/LICS.2004.1319636}, ) @article(ashoush2016dual, author = {Daniela Ashoush and Bob Coecke}, year = {2014}, title = {Dual Density Operators and Natural Language Meaning}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {221}, pages = {1--10}, doi = {10.4204/EPTCS.221.1}, ) @inproceedings(balkir2015distributional, author = {Esma Balkir and Mehrnoosh Sadrzadeh and Bob Coecke}, year = {2015}, title = {Distributional sentence entailment using density matrices}, booktitle = {International Conference on Topics in Theoretical Computer Science}, organization = {Springer}, pages = {1--22}, doi = {10.1007/978-3-319-28678-5\_1}, ) @article(bankova2016graded, author = {Desislava Bankova and Bob Coecke and Martha Lewis and Daniel Marsden}, year = {2016}, title = {Graded entailment for compositional distributional semantics}, ) @article(coecke2008axiomatic, author = {Bob Coecke}, year = {2008}, title = {Axiomatic description of mixed states from Selinger's CPM-construction}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {210}, pages = {3--13}, doi = {10.1016/j.entcs.2008.04.014}, ) @article(coecke2016pictures, 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}, ) @book(coecke2017picturing, author = {Bob Coecke and Aleks Kissinger}, year = {2017}, title = {Picturing Quantum Processes}, publisher = {Cambridge University Press}, doi = {10.1017/9781316219317}, ) @inproceedings(coecke2010environment, author = {Bob Coecke and Simon Perdrix}, year = {2010}, title = {Environment and classical channels in categorical quantum mechanics}, booktitle = {International Workshop on Computer Science Logic}, organization = {Springer}, pages = {230--244}, doi = {10.1007/978-3-642-15205-4\_20}, ) @article(gogioso2015bestiary, author = {Stefano Gogioso}, year = {2015}, title = {A Bestiary of Sets and Relations}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {195}, pages = {208--227}, doi = {10.4204/EPTCS.195.16}, ) @article(gogioso2017fantastic, author = {Stefano Gogioso}, year = {2017}, title = {Fantastic Quantum Theories and Where to Find Them}, ) @article(gogioso2017categorical, author = {Stefano Gogioso and Carlo Maria Scandolo}, year = {2018}, title = {Categorical Probabilistic Theories}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, pages = {367--385}, doi = {10.4204/EPTCS.266.23}, ) @article(gogioso2018hypercubes, author = {Stefano Gogioso and Carlo Maria Scandolo}, year = {2018}, title = {Density Hypercubes, Higher Order Interference and Hyper-decoherence}, ) @article(heunen2013completely, author = {Chris Heunen and Aleks Kissinger and Peter Selinger}, year = {2014}, title = {Completely positive projections and biproducts}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {171}, pages = {71--83}, doi = {10.4204/EPTCS.171.7}, ) @article(marsden2017ambiguity, author = {Dan Marsden}, year = {2016}, title = {Ambiguity and Incomplete Information in Categorical Models of Language}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {236}, pages = {95--107}, doi = {10.4204/EPTCS.236.7}, ) @article(marsden2015graph, author = {Daniel Marsden}, year = {2015}, title = {A graph theoretic perspective on CPM (Rel)}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {195}, pages = {273--284}, doi = {10.4204/EPTCS.195.20}, ) @article(piedeleu2015open, author = {Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh}, year = {2015}, title = {Open system categorical quantum semantics in natural language processing}, ) @article(selinger2007dagger, 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(zwart2017double, author = {Maaike Zwart and Bob Coecke}, year = {2018}, title = {Double Dilation $\not=$ Double Mixing}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, pages = {133--146}, doi = {10.4204/EPTCS.266.9}, )