Quantum logic in dagger kernel categories (Order, 2010)

(untitled) - Heunen, C; Jacobs, B