@article{vicary-hsqp,
  title = "Higher Semantics for Quantum Protocols",
  author = "Jamie Vicary",
  year = "2012",
  issn = "1043-6871",
  journal = "Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science",
  pages = "606-615",
  url = "http://arxiv.org/abs/1207.4563",
  doi = "10.1109/LICS.2012.70",
}