TY - RPRT TI - Presheaf models of quantum computation: an outline AU - Octavio Malherbe AU - Philip Scott AU - Peter Selinger PY - 2013 DO - 10.1007/978-3-642-38164-5_13 UR - https://arxiv.org/abs/1302.5652 ID - 1302.5652 ER -