@misc{indiciae14e4a34ab640, title = {Quantum Computation, Categorical Semantics and Linear Logic}, author = {André van Tonder and Miquel Dorca}, year = {2011}, url = {https://arxiv.org/abs/quant-ph/0312174}, note = {Source identifier: quant-ph/0312174} }