TY  - RPRT
TI  - Sequent Calculus Representations for Quantum Circuits
AU  - Cameron Beebe
PY  - 2016
DO  - 10.4204/eptcs.214.3
UR  - https://arxiv.org/abs/1606.06799
ID  - 1606.06799
ER  -