References

• [HKSY17] Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang. A convenient category for higher-order probability theory. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, 1–12. IEEE Computer Society, 2017. doi:10.1109/LICS.2017.8005137, URL: https://doi.org/10.1109/LICS.2017.8005137. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
• [VKS19] Matthijs Vákár, Ohad Kammar, Sam Staton. A domain theory for statistical probabilistic programming. Proc. ACM Program. Lang., 3(POPL):36:1–36:29, 2019. doi:10.1145/3290349, URL: https://doi.org/10.1145/3290349. [1] [2] [3]