123 citations · 141 across the 16 of their papers we have counts for
1 paper · 2 filters
Robin Cockett, Cole Comfort, Priyaa Srinivasan
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that…