Quantum logic in dagger kernel categories

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