@inproceedings{heunen-2017-a, title={A convenient category for higher-order probability theory}, url={http://dx.doi.org/10.1109/lics.2017.8005137}, DOI={10.1109/lics.2017.8005137}, booktitle={2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher={IEEE}, author={Heunen, Chris and Kammar, Ohad and Staton, Sam and Yang, Hongseok}, year={2017}, month=June, pages={1–12} }