@inproceedings{heunenjacobs:daggerkernelcategories,
  title = "Quantum logic in dagger kernel categories",
  author = "Chris Heunen and Bart Jacobs",
  year = "2009",
  crossref = "preprint available as arxiv:0902.2355",
  journal = "to appear in the proceedings of QPL'09",
  series = "Electronic Notes in Theoretical Computer Science",
}