Miriam Backens & Aleks Kissinger (2019):
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity.
In: Proceedings of the 15th International Conference on Quantum Physics and Logic 287.
Open Publishing Association,
pp. 23–42,
doi:10.4204/eptcs.287.2.
Filippo Bonchi, Dusko Pavlovic & Pawel Sobocinski (2017):
Functorial semantics for relational theories.
Available at https://arxiv.org/pdf/1711.08699.pdf.
ArXiv preprint.
Roberto Bruni & Fabio Gadducci (2003):
Some algebraic laws for spans (and their connections with multirelations).
Electronic Notes in Theoretical Computer Science 44(3),
pp. 175–193,
doi:10.1016/S1571-0661(04)80937-X.
Titouan Carette & Emmanuel Jeandel (2020):
A Recipe for Quantum Graphical Languages.
In: Artur Czumaj, Anuj Dawar & Emanuela Merelli: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020),
Leibniz International Proceedings in Informatics (LIPIcs) 168.
Schloss Dagstuhl–Leibniz-Zentrum für Informatik,
Dagstuhl, Germany,
pp. 118:1–118:17,
doi:10.4230/LIPIcs.ICALP.2020.118.
Eugenia Cheng (2020):
Distributive laws for Lawvere theories.
Compositionality 2,
pp. 1,
doi:10.32408/compositionality-2-1.
JRB Cockett & Cole Comfort (2019):
The Category TOF.
In: Proceedings 15th International Conference on Quantum Physics and Logic 287.
Open Publishing Association,
pp. 67–84,
doi:10.4204/eptcs.287.4.
JRB Cockett & Stephen Lack (2007):
Restriction categories III: colimits, partial limits and extensivity.
Mathematical Structures in Computer Science 17(4),
pp. 775–817,
doi:10.1017/S0960129507006056.
Available at https://arxiv.org/pdf/math/0610500.pdf.
Robin Cockett, Cole Comfort & Priyaa Srinivasan (2018):
The Category CNOT.
In: Proceedings 14th International Conference on Quantum Physics and Logic 266.
Open Publishing Association,
pp. 258–293,
doi:10.4204/eptcs.266.18.
Bob Coecke & Simon Perdrix (2010):
Environment and classical channels in categorical quantum mechanics.
In: International Workshop on Computer Science Logic.
Springer,
pp. 230–244,
doi:10.2168/LMCS-8(4:14)2012.
Available at https://arxiv.org/pdf/1004.1598.pdf.
Bob Coecke, John Selby & Sean Tull (2018):
Two Roads to Classicality.
In: Proceedings 14th International Conference on Quantum Physics and Logic 266.
Open Publishing Association,
pp. 104–118,
doi:10.4204/eptcs.266.7.
Niel de Beaudrap, Aleks Kissinger & Konstantinos Meichanetzidis (2020):
Satisfiability and Counting with Graphical Calculi.
In: Proceedings 17th International Conference on Quantum Physics and Logic.
Open Publishing Association.
Available at https://arxiv.org/pdf/2004.06455.pdf.
Ross Duncan & Kevin Dunne (2016):
Interacting Frobenius Algebras are Hopf.
In: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
IEEE,
pp. 1–10,
doi:10.1145/2933575.2934550.
Available at https://arxiv.org/pdf/1601.04964.pdf.
Brett Giles (2014):
An investigation of some theoretical aspects of reversible computing.
University of Calgary,
doi:10.11575/PRISM/24917.
Anthony Munson, Bob Coecke & Quanlong Wang (2019):
A note on AND-gates in ZX-calculus: QBC-completeness and phase gadgets.
Available at https://arxiv.org/pdf/1910.06818.pdf.
ArXiv preprint.
Quanlong Wang (2019):
ZX-calculus over arbitrary commutative rings and semirings.
Available at https://arxiv.org/pdf/1912.01003.pdf.
ArXiv preprint.
John van de Wetering & Sal Wolffs (2019):
Completeness of the Phase-free ZH-calculus.
Available at https://arxiv.org/pdf/1904.07545.pdf.
ArXiv preprint.