TY - RPRT TI - Proceedings 13th International Conference on Quantum Physics and Logic AU - Ross Duncan AU - Chris Heunen PY - 2017 DO - 10.4204/eptcs.236 UR - https://arxiv.org/abs/1701.00242 ID - 1701.00242 ER -