Skip to main content

A Categorical Quantum Logic

S. Abramsky and R. Duncan

Book Title
Mathematical Structures in Computer Science‚ 16
Pages
469−489
Year
2006