@inproceedings{DBLP:conf/lics/HeunenKSY17,
  title = "A convenient category for higher-order probability theory",
  author = "Chris Heunen and Ohad Kammar and Sam Staton and Hongseok Yang",
  year = "2017",
  booktitle = "32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017",
  pages = "1--12",
  publisher = "{IEEE} Computer Society",
  url = "https://doi.org/10.1109/LICS.2017.8005137",
  doi = "10.1109/LICS.2017.8005137",
}