@inbook{Duncan:2009cs, title = "Generalised Proof-Nets for Compact Categories with Biproducts", author = "Ross Duncan", year = "2009", booktitle = "Semantics of Quantum Computation", editor = "S. Gay and I. Mackie", keywords = "categorical quantum mechanics; compact closed categories; proof-nets; quantum computing", note = "Preprint available at http://arxiv.org/abs/0903.5154", publisher = "Cambridge University Press", }