TY  - RPRT
TI  - A Convenient Category for Higher-Order Probability Theory
AU  - Chris Heunen
AU  - Ohad Kammar
AU  - Sam Staton
AU  - Hongseok Yang
PY  - 2020
DO  - 10.1109/lics.2017.8005137
UR  - https://arxiv.org/abs/1701.02547
ID  - 1701.02547
ER  -