Quantum logic in dagger kernel categories
Chris Heunen and Bart Jacobs
Journal
QPL‚ Electronic Notes in Theoretical Computer Science
Number
2
Pages
79−103
Series
Electronic Notes in Theoretical Computer Science
Volume
270
Year
2009
Chris Heunen and Bart Jacobs