A categorical quantum logic

Samson Abramsky, Ross Duncan. A categorical quantum logic. Mathematical Structures in Computer Science, 16(3):469-489, 2006. [doi]

Abstract

Abstract is missing.