1. A categorical semantics of quantum protocols;Abramsky,2004
2. The ZX-calculus is complete for the single-qubit Clifford + T group;Backens,2014
3. Physics, topology, logic and computation: a Rosetta stone;Baez,2011
4. Everybody knows what a Hopf algebra is;Bergman,1985