Matthew Amy, Jianxin Chen & Neil J. Ross (2017):
A finite presentation of CNOT-dihedral operators.
ArXiv e-prints.
https://arxiv.org/abs/1701.00140.
Miriam Backens (2014):
The ZX-calculus is complete for stabilizer quantum mechanics.
New Journal of Physics 16(9),
pp. 093021,
doi:10.1088/1367-2630/16/9/093021.
Miriam Backens, Simon Perdrix & Quanlong Wang (2016):
A simplified Stabilizer zx-calculus.
arXiv preprint arXiv:1602.04744,
doi:10.4204/EPTCS.236.1.
Wolfgang Bertram & Michael Kinyon (2009):
Associative geometries. I: Torsors, linear relations and grassmannians.
arXiv preprint arXiv:0903.5441.
https://arxiv.org/abs/0903.5441.
John Chiaverini, Dietrich Leibfried, Tobias Schaetz, Murray D. Barrett, Bradford R. Blakestad, Joseph W. Britton, Wayne M. Itano, John D. Jost, Emanuel Knill & Christopher Langer (2004):
Realization of quantum error correction.
Nature 432(7017),
pp. 602–605,
doi:10.1103/PhysRevLett.81.1525.
J. Robin B. Cockett & Stephen Lack (2002):
Restriction categories I: categories of partial maps.
Theoretical computer science 270(1),
pp. 223–259,
doi:10.1016/S0304-3975(00)00382-0.
Bob Coecke & Ross Duncan (2011):
Interacting quantum observables: categorical algebra and diagrammatics.
New Journal of Physics 13(4),
pp. 043016,
doi:10.1088/1367-2630/13/4/043016.
Brett Giles (2014):
An investigation of some theoretical aspects of reversible computing.
Ph.D. thesis.
http://pages.cpsc.ucalgary.ca/~robin/Theses/BrettGilesPhD.pdf.
Daniel Gottesman (1997):
Stabilizer codes and quantum error correction.
arXiv preprint quant-ph/9705052.
https://arxiv.org/abs/quant-ph/9705052.
Martin Idel & Michael M. Wolf (2014):
Sinkhorn normal form for unitary matrices,
doi:10.1016/j.laa.2014.12.031.
Maxim Kontsevich (1999):
Operads and motives in deformation quantization.
Letters in Mathematical Physics 48(1),
pp. 35–72,
doi:10.1023/A:1007555725247.
Yves Lafont (2003):
Towards an algebraic theory of Boolean circuits.
Journal of Pure and Applied Algebra 184,
pp. 2003,
doi:10.1016/S0022-4049(03)00069-0.
Peter Selinger (2007):
Dagger compact closed categories and completely positive maps.
Electronic Notes in Theoretical Computer Science 170,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
Siyao Xu (2015):
Reversible Logic Synthesis with Minimal Usage of Ancilla Bits.
ArXiv e-prints.
https://arxiv.org/abs/1506.03777.