@article{heunen:compactlyaccessible,
  title = "Compactly accessible categories and quantum key distribution",
  author = "Chris Heunen",
  year = "2008",
  journal = "Logical Methods in Computer Science",
  number = "4",
  volume = "4",
  doi = "10.2168/LMCS-4(4:9)2008",
}