TY  - RPRT
TI  - Quantum Computation, Categorical Semantics and Linear Logic
AU  - André van Tonder
AU  - Miquel Dorca
PY  - 2011
UR  - https://arxiv.org/abs/quant-ph/0312174
ID  - quant-ph/0312174
ER  -