TY  - RPRT
TI  - Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
AU  - Mathys Rennela
AU  - Sam Staton
PY  - 2020
DO  - 10.23638/lmcs-16(1:30)2020
UR  - https://arxiv.org/abs/1711.05159
ID  - 1711.05159
ER  -