@article{AbrDun:CQLv2:2004,
  abstract = "We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes.",
  author = "Samson Abramsky and Ross Duncan",
  doi = "10.1017/S0960129506005275",
  journal = "Mathematical Structures in Computer Science",
  note = "Preprint available at http://arxiv.org/abs/quant-ph/0512114",
  number = "3",
  pages = "469-489",
  title = "A Categorical Quantum Logic",
  volume = "16",
  year = "2006",
}