@inproceedings(AbramCoecke_CatSemanticQuantum, author = {S. Abramsky and B. Coecke}, year = {2004}, title = {A categorical semantics of quantum protocols}, booktitle = {Logic in Computer Science. Proceedings of the 19th Annual IEEE Symposium}, pages = {415--425}, doi = {10.1109/LICS.2004.1319636}, ) @article(CoeckeEdwards_ToyQuantumCategories, author = {B. Coecke, Bob and B. Edwards}, year = {2011}, title = {Toy quantum categories}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {270}, number = {1}, doi = {10.1016/j.entcs.2011.01.004}, url = {https://arxiv.org/abs/0808.1037}, ) @misc(Backens_Completeness, author = {M. Backens}, year = {2016}, title = {Completeness and the ZX-calculus}, doi = {10.1109/LICS.2004.1319636}, url = {https://arxiv.org/abs/1602.08954}, ) @misc(BaezCoyaFong_Props, author = {J. Baez and B. Coya and F. Rebro}, year = {2017}, title = {Props in network theory}, url = {https://arxiv.org/abs/1707.08321}, ) @misc(BaezFong_CompPassLinNets, author = {J. Baez and B. Fong}, year = {2015}, title = {A compositional framework for passive linear networks}, url = {https://arxiv.org/abs/1504.05625}, ) @article(BaezFongPollard_CompMarkovProcesses, author = {J. Baez and B. Fong and B. Pollard}, year = {2016}, title = {A compositional framework for {M}arkov processes}, journal = {J. Math. Phys.}, volume = {57}, doi = {10.1063/1.4941578}, ) @misc(BarKissingerVicary_Globular, author = {K. Bar and A. Kissinger and J. Vicary}, year = {2016}, title = {Globular: an online proof assistant for higher-dimensional rewriting}, url = {http://globular.science}, ) @misc(Cicala_SpansCospans, author = {D. Cicala}, year = {2016}, title = {Spans of cospans}, url = {https://arxiv.org/abs/1611.07886}, ) @misc(CicalaCourser_BicatSpansCospan, author = {D. Cicala and K. Courser}, year = {2017}, title = {Spans of cospans in a topos}, url = {https://arxiv.org/abs/1707.02098}, ) @incollection(CoeckeDuncan_QuantumObsInitialReport, author = {B. Coecke and R. Duncan}, year = {2008}, title = {Interacting quantum observables}, booktitle = {Automata, languages and programming. {P}art {II}}, series = {Lecture Notes in Comput. Sci.}, volume = {5126}, publisher = {Springer, Berlin}, pages = {298--310}, doi = {10.1007/978-3-540-70583-3\_25}, ) @article(CoeckeDuncan_QuantumObsFullPaper, author = {B. Coecke and R. Duncan}, year = {2011}, title = {Interacting quantum observables: categorical algebra and diagrammatics}, journal = {New J. Phys.}, volume = {13}, doi = {10.1088/1367-2630/13/4/043016}, ) @incollection(CoeckeEdwards_ToyTheories, author = {B. Coecke and B. Edwards}, year = {2012}, title = {Spekkens's toy theory as a category of processes}, booktitle = {Mathematical foundations of information flow}, series = {Proc. Sympos. Appl. Math.}, volume = {71}, publisher = {Amer. Math. Soc.}, pages = {61--68}, doi = {10.1090/psapm/071/602}, ) @article(CoeckeEdwardsSpekkens_PhaseGrpsNonLocality, author = {B. Coecke and B. Edwards and R. Spekkens}, year = {2011}, title = {Phase groups and the origin of non-locality for qubits}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {270}, number = {2}, doi = {10.1016/j.entcs.2011.01.021}, ) @incollection(CoeckePavlovic_QuanMeasSums, author = {B. Coecke and D. Pavlovic}, year = {2008}, title = {Quantum measurements without sums}, booktitle = {Mathematics of quantum computation and quantum technology}, series = {Chapman \& Hall CRC Appl. Math. Nonlinear Sci. Ser.}, publisher = {Chapman \& Hall/CRC, Boca Raton, FL}, pages = {559--596}, doi = {10.1201/9781584889007.ch16}, ) @article(CoeckePavVicary_OrthogBases, author = {B. Coecke and D. Pavlovic and J. Vicary}, year = {2013}, title = {A new description of orthogonal bases}, journal = {Math. Structures Comput. Sci.}, volume = {23}, number = {3}, doi = {10.1017/S0960129512000047}, ) @article(CoeckePerdix_EnvironClassicChannels, author = {B. Coecke and S. Perdrix}, year = {2012}, title = {Environment and classical channels in categorical quantum mechanics}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {4}, doi = {10.2168/LMCS-8(4:14)2012}, ) @incollection(Corradini_AlgApprGraphTrans, author = {A. Corradini and U. Montanari and F. Rossi and H. Ehrig and R. Heckel and M. Lowe}, year = {1997}, title = {Algebraic approaches to graph transformation. {B}asic concepts and double pushout approach}, booktitle = {Handbook of graph grammars and computing by graph transformation, {V}ol. 1}, publisher = {World Sci. Publ., River Edge, NJ}, doi = {10.1142/9789812384720\_0003}, ) @article(DanosKashefiPanang_MeasurementCalc, author = {V. Danos and E. Kashefi and P. Panangaden}, year = {2007}, title = {The measurement calculus}, journal = {J. ACM}, volume = {54}, number = {2}, doi = {10.1145/1219092.1219096}, ) @misc(DixonDuncanKissinger_QuantomaticWebsite, author = {L. Dixon and R. Duncan and A. Kissinger}, title = {Quantomatic}, url = {https://sites.google.com/site/quantomatic/}, ) @incollection(DuncanPerdix_GraphStatesEulerDecomp, author = {R. Duncan and S. Perdrix}, year = {2009}, title = {Graph states and the necessity of {E}uler decomposition}, booktitle = {Mathematical theory and computational practice}, series = {Lecture Notes in Comput. Sci.}, volume = {5635}, publisher = {Springer, Berlin}, pages = {167--177}, doi = {10.1007/978-3-642-03073-4\_18}, ) @article(DuncanPerdrix_RewritingQuantumCompu, author = {R. Duncan and S. Perdrix}, year = {2010}, title = {Rewriting measurement-based quantum computations with generalised flow}, journal = {Automata, Languages and Programming}, doi = {10.1007/978-3-642-14162-1\_24}, ) @misc(EvansDuncanLangPanan_ClassMutualUnbias, author = {J. Evans and R. Duncan and A. Lang and P. Panangaden}, year = {2009}, title = {Classifying all mutually unbiased bases in Rel}, url = {https://arxiv.org/abs/0909.4453}, ) @misc(Fong_AlgOpenSystems, author = {B. Fong}, year = {2016}, title = {The Algebra of Open and Interconnected Systems}, url = {https://arxiv.org/abs/arXiv:1609.05382}, ) @article(Habel, author = {A. Habel and J. Muller and D. Plump}, year = {2001}, title = {Double-pushout graph transformation revisited}, journal = {Math. Structures Comput. Sci.}, volume = {11}, number = {5}, doi = {10.1017/S0960129501003425}, ) @article(BaezPollard_CompFrameRxNets, author = {J. Baez, John and B. Pollard}, year = {2017}, title = {A compositional framework for reaction networks}, journal = {Rev. Math. Phys.}, volume = {29}, number = {9}, doi = {10.1142/S0129055X17500283}, ) @article(JoyalStreet_GeomTensorCalc, author = {A. Joyal and R. Street}, year = {1991}, title = {The geometry of tensor calculus. {I}}, journal = {Adv. Math.}, volume = {88}, number = {1}, doi = {10.1016/0001-8708(91)90003-P}, ) @article(Kissinger_Pictures, author = {A. Kissinger}, year = {2012}, title = {Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing}, journal = {Ph.D. Thesis{,} University of Oxford}, url = {https://arxiv.org/abs/1203.0202}, ) @incollection(KissingerZamd_Quantomatic, author = {A. Kissinger and V. Zamdzhiev}, year = {2015}, title = {Quantomatic: a proof assistant for diagrammatic reasoning}, booktitle = {Automated deduction---{CADE} 25}, series = {Lecture Notes in Comput. Sci.}, volume = {9195}, publisher = {Springer, Cham}, pages = {326--336}, doi = {10.1007/978-3-319-21401-6\_22}, ) @article(Dixon_OpenGraphs, author = {L. Dixon, Lucas and R. Duncan and A. Kissinger}, year = {2010}, journal = {Electron. Proc. Theor. Comput. Sci.}, volume = {26}, doi = {10.4204/EPTCS.26.16}, ) @book(MaclaneMoerdijk, author = {S. MacLane and I. Moerdijk}, year = {2012}, title = {Sheaves in geometry and logic: A first introduction to topos theory}, publisher = {Springer Science \& Business Media}, ) @article(Merry_BangGraphs, author = {A. Merry}, year = {2014}, title = {Reasoning with !-Graphs}, journal = {CoRR}, volume = {abs/1403.7828}, url = {http://arxiv.org/abs/1403.7828}, ) @book(NielsenChuang_QuantumCompInfo, author = {M. Nielsen and I. Chuang}, year = {2010}, title = {Quantum computation and quantum information}, publisher = {Cambridge University Press, Cambridge}, doi = {10.1017/CBO9780511976667}, ) @incollection(Pavlovic_QuanClassNondetermCompu, author = {D. Pavlovic}, year = {2009}, title = {Quantum and classical structures in nondeterministic computation}, booktitle = {Quantum interaction}, series = {Lecture Notes in Comput. Sci.}, volume = {5494}, publisher = {Springer, Berlin}, pages = {143--157}, doi = {10.1007/978-3-642-00834-4\_13}, ) @incollection(Penrose_NegDimTensors, author = {R. Penrose}, year = {1971}, title = {Applications of negative dimensional tensors}, booktitle = {Combinatorial {M}athematics and its {A}pplications ({P}roc. {C}onf., {O}xford, 1969)}, publisher = {Academic Press, London}, pages = {221--244}, url = {http://homepages.math.uic.edu/~kauffman/Penrose.pdf}, ) @article(Pollard_OpenMarkov, author = {B. Pollard}, year = {2016}, title = {Open Markov Processes: A Compositional Perspective on Non{-}Equilibrium Steady States in Biology}, journal = {Entropy}, volume = {18}, number = {4}, doi = {10.3390/e18040140}, ) @misc(Pstrski_DualObjectsCobord, author = {P. Pstragowski}, year = {2014}, title = {On dualizable objects in monoidal bicategories, framed surfaces and the {C}obordism {H}ypothesis}, url = {https://arxiv.org/abs/1411.6691}, ) @article(SassoneSobocinski_PetriNets, author = {V. Sassone and P. Sobocinski}, year = {2005}, title = {A congruence for Petri nets}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, doi = {10.1016/j.entcs.2005.02.008}, ) @incollection(Selinger_GraphicsMonCats, author = {P. Selinger}, year = {2011}, title = {A survey of graphical languages for monoidal categories}, booktitle = {New structures for physics}, series = {Lecture Notes in Phys.}, volume = {813}, publisher = {Springer, Heidelberg}, pages = {289--355}, doi = {10.1007/978-3-642-12821-9\_4}, ) @misc(Shulman_ConstructSMBicats, author = {M. Shulman}, year = {2010}, title = {Constructing symmetric monoidal bicategories}, url = {http://arxiv.org/abs/1004.0993}, ) @article(Stay_CompactClosedBicats, author = {M. Stay}, year = {2016}, title = {Compact closed bicategories}, journal = {Theory Appl. Categ.}, volume = {31}, url = {https://arxiv.org/abs/1301.1053}, )