heunen-2017-a:
  type: article
  title: A convenient category for higher-order probability theory
  author:
  - Heunen, Chris
  - Kammar, Ohad
  - Staton, Sam
  - Yang, Hongseok
  date: 2017-06
  page-range: 1-12
  serial-number:
    doi: 10.1109/lics.2017.8005137
  parent:
    type: proceedings
    title: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    publisher: IEEE