A convenient category for higher−order probability theory
Chris Heunen‚ Ohad Kammar‚ Sam Staton and Hongseok Yang
Book Title
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
Year
2017