A convenient category for higher-order probability theory.

Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang

Browse the full LICS paper archive.