Quantum logic in dagger kernel categories

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