@Inproceedings{EPTCS214.3,
author = {Beebe, Cameron},
year = {2016},
title = {Sequent Calculus Representations for Quantum Circuits},
editor = {Abbott, Alastair A. and Horsman, Dominic C.},
booktitle = {{\rm Proceedings of the 7th International Workshop on}
Physics and Computation,
{\rm Manchester, UK, 14 July 2016}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {214},
publisher = {Open Publishing Association},
pages = {3-15},
doi = {10.4204/EPTCS.214.3},
}