Quantum logic in dagger kernel categories
Chris Heunen and Bart Jacobs
Journal
Order
Number
2
Pages
177−212
Volume
27
Year
2010
Chris Heunen and Bart Jacobs