@inproceedings(AC1, author = {S. Abramsky and B. Coecke}, year = {2004}, title = {A categorical semantics of quantum protocols}, booktitle = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)}, pages = {415--425}, doi = {10.5555/1018438.1021878}, note = {{a}rXiv:quant-ph/0402130}, ) @article(alvarez-picallo_rewriting_2022, author = {Alvarez-Picallo, Mario and Dan Ghica and David Sprunger and Fabio Zanasi}, year = {2022}, title = {Rewriting for {Monoidal} {Closed} {Categories}: 7th {International} {Conference} on {Formal} {Structures} for {Computation} and {Deduction}, {FSCD} 2022}, journal = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)}, doi = {10.4230/LIPIcs.FSCD.2022.29}, url = {http://www.scopus.com/inward/record.url?scp=85133671634&partnerID=8YFLogxK}, note = {Publisher: Schloss Dagstuhl}, ) @article(baez_open_2020, author = {John C. Baez and Jade Master}, year = {2020}, title = {Open {Petri} {Nets}}, journal = {Mathematical Structures in Computer Science}, volume = {30}, number = {3}, pages = {314--341}, doi = {10.1017/S0960129520000043}, url = {http://arxiv.org/abs/1808.05415}, note = {ArXiv:1808.05415 [cs, math]}, ) @article(boisseau_string_2022, author = {Guillaume Boisseau and Paweł Sobociński}, year = {2022}, title = {String {Diagrammatic} {Electrical} {Circuit} {Theory}}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {372}, pages = {178--191}, doi = {10.4204/EPTCS.372.13}, url = {http://arxiv.org/abs/2106.07763}, note = {ArXiv:2106.07763 [cs]}, ) @inproceedings(bonchi_graphical_2019, author = {Filippo Bonchi and Robin Piedeleu and Pawel Sobociński and Fabio Zanasi}, year = {2019}, title = {Graphical {Affine} {Algebra}}, booktitle = {2019 34th {Annual} {ACM}/{IEEE} {Symposium} on {Logic} in {Computer} {Science} ({LICS})}, pages = {1--12}, doi = {10.1109/LICS.2019.8785877}, ) @article(bonchi_interacting_2017, author = {Filippo Bonchi and Pawel Sobocinski and Fabio Zanasi}, year = {2017}, title = {Interacting {Hopf} {Algebras}}, journal = {Journal of Pure and Applied Algebra}, volume = {221}, number = {1}, pages = {144--184}, doi = {10.1016/j.jpaa.2016.06.002}, url = {http://arxiv.org/abs/1403.7048}, note = {ArXiv:1403.7048 [cs, math]}, ) @inproceedings(bonchi_categorical_2014, author = {Filippo Bonchi and Pawel Sobociński and Fabio Zanasi}, year = {2014}, title = {A {Categorical} {Semantics} of {Signal} {Flow} {Graphs}}, volume = {CONCUR 2014 - Concurrency Theory - 25th International Conference}, doi = {10.1007/978-3-662-44584-6\_30}, url = {https://hal.science/hal-02134182}, ) @article(cho_disintegration_2019, author = {Kenta Cho and Bart Jacobs}, year = {2019}, title = {Disintegration and {Bayesian} {Inversion} via {String} {Diagrams}}, journal = {Mathematical Structures in Computer Science}, volume = {29}, number = {7}, pages = {938--971}, doi = {10.1017/S0960129518000488}, url = {http://arxiv.org/abs/1709.00322}, note = {ArXiv:1709.00322 [cs]}, ) @article(coecke2000, author = {B. Coecke}, year = {2000}, title = {Structural characterization of compoundness}, journal = {International Journal of Theoretical Physics}, volume = {39}, pages = {585--594}, doi = {10.1023/A:1003677418744}, ) @article(CD2, author = {B. Coecke and R. Duncan}, year = {2011}, title = {Interacting quantum observables: categorical algebra and diagrammatics}, journal = {New Journal of Physics}, volume = {13}, pages = {043016}, doi = {10.1088/1367-2630/13/4/043016}, note = {{arXiv:quant-ph/09064725}}, ) @article(CMS, author = {B. Coecke and D.J. Moore and I. Stubbe}, year = {2001}, title = {Quantaloids describing causation and propagation of physical properties}, journal = {Foundations of Physics Letters}, volume = {14}, pages = {133--146}, doi = {10.1023/A:1012377520222}, note = {ArXiv:quant-ph/0009100}, ) @incollection(CPaqPav, author = {B. Coecke and {\'E}. O. Paquette and D. Pavlovi{\'c}}, year = {2010}, title = {{Classical and quantum structuralism}}, editor = {S. Gay and I. Mackie}, booktitle = {Semantic Techniques in Quantum Computation}, publisher = {Cambridge University Press}, pages = {29--69}, doi = {10.1017/CBO9781139193313.003}, note = {{a}rXiv:0904.1997}, ) @incollection(CPav, author = {B. Coecke and D. Pavlovic}, year = {2007}, title = {Quantum measurements without sums}, editor = {G. Chen and L. Kauffman and S. Lamonaco}, booktitle = {Mathematics of Quantum Computing and Technology}, publisher = {Taylor and Francis}, pages = {567--604}, doi = {10.1201/9781584889007}, note = {{arXiv:quant-ph/0608035}}, ) @book(coecke_quantum_2023, author = {Bob Coecke and Stefano Gogioso}, year = {2023}, title = {Quantum in {Pictures}: {A} {New} {Way} to {Understand} the {Quantum} {World}}, publisher = {Cambridge Quantum}, ) @book(coecke_picturing_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}, address = {Cambridge}, doi = {10.1017/9781316219317}, url = {https://www.cambridge.org/core/books/picturing-quantum-processes/1119568B3101F3A685BE832FEEC53E52}, ) @inproceedings(cruttwell_categorical_2022, author = {Geoffrey SH Cruttwell and Bruno Gavranović and Neil Ghani and Paul Wilson and Fabio Zanasi}, year = {2022}, title = {Categorical foundations of gradient-based learning}, booktitle = {Programming {Languages} and {Systems}: 31st {European} {Symposium} on {Programming}, {ESOP} 2022, {Held} as {Part} of the {European} {Joint} {Conferences} on {Theory} and {Practice} of {Software}, {ETAPS} 2022, {Munich}, {Germany}, {April} 2–7, 2022, {Proceedings}}, publisher = {Springer International Publishing Cham}, pages = {1--28}, doi = {10.1007/978-3-030-99336-8\_1}, ) @article(deutsch2013constructor, author = {David Deutsch}, year = {2013}, title = {Constructor theory}, journal = {Synthese}, volume = {190}, number = {18}, pages = {4331--4359}, doi = {10.1007/s11229-013-0279-z}, ) @article(deutsch2015constructor, author = {David Deutsch and Chiara Marletto}, year = {2015}, title = {Constructor theory of information}, journal = {Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences}, volume = {471}, pages = {20140540}, doi = {10.1098/rspa.2014.0540}, ) @article(FMP, author = {C.-A. Faure and D. J. Moore and C. Piron}, year = {1995}, title = {Deterministic evolutions and {S}chr\"odinger flows}, journal = {Helvetica Physica Acta}, volume = {68}, number = {2}, pages = {150--157}, ) @article(fritz_finettis_2021, author = {Tobias Fritz and Tomáš Gonda and Paolo Perrone}, year = {2021}, title = {De {Finetti}'s {Theorem} in {Categorical} {Probability}}, journal = {Journal of Stochastic Analysis}, volume = {2}, number = {4}, doi = {10.31390/josa.2.4.06}, url = {http://arxiv.org/abs/2105.02639}, note = {ArXiv:2105.02639 [cs, math, stat]}, ) @inproceedings(ghica_categorical_2016, author = {Dan R. Ghica and Achim Jung}, year = {2016}, title = {Categorical semantics of digital circuits}, booktitle = {Proceedings of the 16th {Conference} on {Formal} {Methods} in {Computer}-{Aided} {Design}}, series = {{FMCAD} '16}, publisher = {FMCAD Inc}, address = {Austin, Texas}, pages = {41--48}, doi = {10.1109/FMCAD.2016.7886659}, ) @article(gogioso2019church, author = {Stefano Gogioso}, year = {2019}, title = {A process-theoretic church of the larger hilbert space}, journal = {arXiv preprint arXiv:1905.13117}, doi = {10.48550/arXiv.1905.13117}, ) @incollection(HardyJTF, author = {L. 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}, pages = {409--442}, doi = {10.1017/CBO9780511976971.013}, note = {{arXiv:0912.4740}}, ) @inproceedings(haydon_compositional_2020, author = {Nathan Haydon and Paweł Sobociński}, year = {2020}, title = {Compositional {Diagrammatic} {First}-{Order} {Logic}}, editor = {Ahti-Veikko Pietarinen and Peter Chapman and Bosveld-de Smet, Leonie and Valeria Giardino and James Corter and Sven Linker}, booktitle = {Diagrammatic {Representation} and {Inference}}, series = {Lecture {Notes} in {Computer} {Science}}, publisher = {Springer International Publishing}, address = {Cham}, pages = {402--418}, doi = {10.1007/978-3-030-54249-8\_32}, ) @misc(hedges_string_2015, author = {Jules Hedges}, year = {2015}, title = {String diagrams for game theory}, doi = {10.48550/arXiv.1503.06072}, url = {http://arxiv.org/abs/1503.06072}, note = {ArXiv:1503.06072 [cs, math]}, ) @misc(hefford_categories_2020, author = {James Hefford and Vincent Wang and Matthew Wilson}, year = {2020}, title = {Categories of {Semantic} {Concepts}}, doi = {10.48550/arXiv.2004.10741}, url = {http://arxiv.org/abs/2004.10741}, note = {ArXiv:2004.10741 [quant-ph]}, ) @article(hoare1987weakest, author = {C. A. R. Hoare and J. He}, year = {1987}, title = {The weakest prespecification}, journal = {Information Processing Letters}, volume = {24}, pages = {127--132}, doi = {10.1016/0020-0190(87)90106-2}, ) @misc(jacobs_causal_2019, author = {Bart Jacobs and Aleks Kissinger and Fabio Zanasi}, year = {2019}, title = {Causal {Inference} by {String} {Diagram} {Surgery}}, doi = {10.48550/arXiv.1811.08338}, url = {http://arxiv.org/abs/1811.08338}, note = {ArXiv:1811.08338 [cs, math]}, ) @book(Jauch, author = {J. M. Jauch}, year = {1968}, title = {Mathematical Foundations of Quantum Mechanics}, publisher = {Addison-Wesley}, ) @book(marletto_science_2021, author = {Chiara Marletto}, year = {2021}, title = {The {Science} of {Can} and {Can}'t: {A} {Physicist}'s {Journey} {Through} the {Land} of {Counterfactuals}}, publisher = {Allen Lane}, doi = {10.1016/S0262-4079(21)00658-8}, ) @article(DJMoore, author = {D. J. Moore}, year = {1999}, title = {On state spaces and property lattices}, journal = {Studies in History and Philosophy of Modern Physics}, volume = {30}, number = {1}, pages = {61--83}, doi = {10.1016/S1355-2198(98)00033-1}, ) @book(Piron, author = {C. Piron}, year = {1976}, title = {Foundations of quantum physics}, publisher = {W. A. Benjamin}, ) @article(selby2018reconstructing, author = {J. H. Selby and C. M. Scandolo and B. Coecke}, year = {2018}, title = {Reconstructing quantum theory from diagrammatic postulates}, journal = {arXiv preprint arXiv:1802.00367}, doi = {10.22331/q-2021-04-28-445}, ) @misc(wang-mascianica_talking_2021, author = {Wang-Mascianica, Vincent and Bob Coecke}, year = {2021}, title = {Talking {Space}: inference from spatial linguistic meanings}, doi = {10.48550/arXiv.2109.06554}, url = {http://arxiv.org/abs/2109.06554}, note = {ArXiv:2109.06554 [cs]}, ) @article(wilson_safari_2021, author = {Matthew Wilson and James Hefford and Guillaume Boisseau and Vincent Wang}, year = {2021}, title = {The {Safari} of {Update} {Structures}: {Visiting} the {Lens} and {Quantum} {Enclosures}}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, pages = {1--18}, doi = {10.4204/EPTCS.333.1}, url = {http://arxiv.org/abs/2005.05293}, note = {ArXiv:2005.05293 [quant-ph]}, )