10 citations · 52 across the 17 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.CT2018★ 6 cited
Dagger linear logic for categorical quantum mechanics
Robin Cockett, Cole Comfort, Priyaa Srinivasan
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate re…
cs.LO2018★ 7 cited
The Category TOF
J. R. B. Cockett, Cole Comfort
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the…