Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=450669
Copy and paste this citation
SAMSON ABRAMSKY
and ROSS DUNCAN
(2006).
A categorical quantum logic. Mathematical Structures in Computer Science, 16
,
pp 469-489
doi:10.1017/S0960129506005275