@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},
}