TY  - RPRT
TI  - Categorical models of computation: partially traced categories and presheaf models of quantum computation
AU  - Octavio Malherbe
PY  - 2013
UR  - https://arxiv.org/abs/1301.5087
ID  - 1301.5087
ER  -