@inproceedings{heunenjacobs:daggerkernelcategories,
  title = "Quantum logic in dagger kernel categories",
  author = "Chris Heunen and Bart Jacobs",
  year = "2009",
  journal = "QPL, Electronic Notes in Theoretical Computer Science",
  number = "2",
  pages = "79-103",
  series = "Electronic Notes in Theoretical Computer Science",
  volume = "270",
  doi = "10.1016/j.entcs.2011.01.024",
}