TY  - RPRT
TI  - Compositional Quantum Logic
AU  - Bob Coecke
AU  - Chris Heunen
AU  - Aleks Kissinger
PY  - 2013
DO  - 10.1007/978-3-642-38164-5_3
UR  - https://arxiv.org/abs/1302.4900
ID  - 1302.4900
ER  -