Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.

Lucas Dixon, Ross Duncan

Browse the full AISC paper archive.