@inproceedings{AbrDun:CQLv1:2004,
title = "A Categorical Quantum Logic",
author = "Samson Abramsky and Ross Duncan",
year = "2004",
booktitle = "Proceedings of the 2nd International Workshop on Quantum Programming Languages",
edition = "Selinger, Peter",
keywords = "quantum computing; compact closed categories; proof-nets",
note = "This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version.",
series = "Turku Centre for Computer Science General Publication",
url = "http://quasar.mathstat.uottawa.ca/~selinger/qpl2004/PDFS/02Abramsky-Duncan.pdf",
volume = "33",
}