TY - RPRT TI - Total and Partial Computation in Categorical Quantum Foundations AU - Kenta Cho PY - 2015 DO - 10.4204/eptcs.195.9 UR - https://arxiv.org/abs/1511.01569 ID - 1511.01569 ER -