1. Probability Theory;Bauer,1996
2. R. Blute, P. Scott, Category Theory for Linear Logicians, in: [15], 2004, pp. 1–52.
3. A lambda-calculus foundation for universal probabilistic programming;Borgström,2016
4. Measure transformer semantics for Bayesian machine learning;Borgström;Log. Methods Comput. Sci.,2013
5. Exponential spaces and counting processes;Carter;Z. Wahrscheinlichkeitstheor. Verw. Geb.,1972