6 citations · 6 across the 2 of their papers we have counts for
2 papers
math.CT2009★ 6 cited
Generalised Proof-Nets for Compact Categories with Biproducts
Ross Duncan
Just as conventional functional programs may be understood as proofs in an intuitionistic logic, so quantum processes can also be viewed as proofs in a suitable logic. We describe…
cs.SC2009
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon, Ross Duncan
Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a for…