Fetching the paper…
Reading the bibliography…
We give a complete presentation for the fragment, ZX&, of the ZX-calculus generated by the Z and X spiders (corresponding to copying and addition) along with the not gate and the and gate.
Available at https://arxiv.org/pdf/1904.07545.pdf
John van de Wetering & Sal Wolffs (2019): Completeness of the Phase-free ZH-calculus · 1904
Earlier work this paper cites.
Available at https://arxiv.org/pdf/1910.06818.pdf
Anthony Munson, Bob Coecke & Quanlong Wang (2019): A note on AND-gates in ZX-calculus: QBC-completeness and phase gadgets · 1910
Earlier work this paper cites.
Available at https://arxiv.org/pdf/1912.01003.pdf
Quanlong Wang (2019): ZX-calculus over arbitrary commutative rings and semirings · 1912
Earlier work this paper cites.
Journal of pure and applied algebra
Aurelio Carboni & Robert FC Walters (1987): Cartesian bicategories I · 1987
Earlier work this paper cites.
Information and computation
Edmund Robinson & Giuseppe Rosolini (1988): Categories of partial maps · 1988
Earlier work this paper cites.
Semantic Techniques in Quantum Computation
Bob Coecke, Eric Oliver Paquette & Dusko Pavlovic (2009): Classical and quantum structuralism · 1997
Earlier work this paper cites.
Available at https://www.brics.dk/LS/98/2/BRICS-LS-98-2.pdf
Carsten Butz (1998): Regular categories and regular logic · 1998
Earlier work this paper cites.
Theoretical computer science
JRB Cockett & Stephen Lack (2002): Restriction categories I: categories of partial maps · 2002
Earlier work this paper cites.
In: Proceedings of the 39th annual Design Automation Conference
Kazuo Iwama, Yahiko Kambayashi & Shigeru Yamashita (2002): Transformation rules for designing CNOT-based quantum circuits · 2002
Earlier work this paper cites.
Journal of Pure and Applied Algebra
Robert Rosebrugh & Richard J Wood (2002): Distributive laws and factorization · 2002
Earlier work this paper cites.
Electronic Notes in Theoretical Computer Science
Roberto Bruni & Fabio Gadducci (2003): Some algebraic laws for spans (and their connections with multirelations) · 2003
Earlier work this paper cites.
Journal of Pure and Applied Algebra
Yves Lafont (2003): Towards an algebraic theory of boolean circuits · 2003
Earlier work this paper cites.
In: Proceedings 17th International Conference on Quantum Physics and Logic
Niel de Beaudrap, Aleks Kissinger & Konstantinos Meichanetzidis (2020): Satisfiability and Counting with Graphical Calculi · 2004
Cited alongside, same era.
Theory and Applications of Categories
Stephen Lack (2004): Composing props · 2004
Cited alongside, same era.
Electronic Notes in Theoretical computer science
Peter Selinger (2007): Dagger compact closed categories and completely positive maps · 2006
Cited alongside, same era.
Mathematical Structures in Computer Science
JRB Cockett & Stephen Lack (2007): Restriction categories III: colimits, partial limits and extensivity · 2007
Cited alongside, same era.
Master’s thesis, University of Oxford
Michael Herrmann (2010): Models of multipartite entanglement · 2010
Cited alongside, same era.
In: 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Ross Duncan & Kevin Dunne (2016): Interacting Frobenius Algebras are Hopf · 2016
Later among the works it cites.
Available at https://arxiv.org/pdf/1711.08699.pdf
Filippo Bonchi, Dusko Pavlovic & Pawel Sobocinski (2017): Functorial semantics for relational theories · 2017
Later among the works it cites.
Cambridge University Press, 10.1017/9781316219317
Bob Coecke & Aleks Kissinger (2017): Picturing quantum processes · 2017
Later among the works it cites.
In: Proceedings 14th International Conference on Quantum Physics and Logic
Robin Cockett, Cole Comfort & Priyaa Srinivasan (2018): The Category CNOT · 2018
Later among the works it cites.
In: Proceedings 14th International Conference on Quantum Physics and Logic
Bob Coecke, John Selby & Sean Tull (2018): Two Roads to Classicality · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Bob Coecke & Simon Perdrix (2010): Environment and classical channels in categorical quantum mechanics · 2012
Cited alongside, same era.
In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Chris Heunen (2013): On the functor ℓ 2 \ell^{2} · 2013
Cited alongside, same era.
Ph.D. thesis, University of Calgary, 10.11575/PRISM/24917
Brett Giles (2014): An investigation of some theoretical aspects of reversible computing · 2014
Cited alongside, same era.
Journal of Pure and Applied Algebra
Filippo Bonchi, Paweł Sobociński & Fabio Zanasi (2017): Interacting Hopf algebras · 2016
Cited alongside, same era.
Bob Coecke & Chris Heunen (2016): Pictures of complete positivity in arbitrary dimension · 2016
Cited alongside, same era.
Quantum Information Processing
Bob Coecke, Chris Heunen & Aleks Kissinger (2016): Categories of quantum and classical channels · 2016
Cited alongside, same era.
Ph.D. thesis, University of Oxford
Robin Piedeleu (2018): Picturing resources in concurrency · 2018
Later among the works it cites.
In: Proceedings of the 15th International Conference on Quantum Physics and Logic
Miriam Backens & Aleks Kissinger (2019): ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity · 2019
Later among the works it cites.
In: Proceedings 15th International Conference on Quantum Physics and Logic
JRB Cockett & Cole Comfort (2019): The Category TOF · 2019
Later among the works it cites.
Master’s thesis, University of Calgary
Cole Comfort (2019): Classifying Reversible Logic Gates with Ancillary Bits · 2019
Later among the works it cites.
In Artur Czumaj, Anuj Dawar & Emanuela Merelli, editors: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)
Titouan Carette & Emmanuel Jeandel (2020): A Recipe for Quantum Graphical Languages · 2020
Closest in time.
Compositionality
Eugenia Cheng (2020): Distributive laws for Lawvere theories · 2020
Closest in time.