Quantum logic in dagger kernel categories

by Chris Heunen , Bart Jacobs
Venue:Order
Citations:9 - 9 self