N. Leedom-ackerman, C. E. Freer, and D. M. Roy, Noncomputable conditional distributions, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, pp.107-116, 2011.

C. Aliprantis and K. Border, Infinite dimensional analysis, volume 32006, 1999.

I. Vladimir and . Bogachev, Measure Theory I, 2006.

P. Chaput, V. Danos, P. Panangaden, and G. Plotkin, Approximating Markov Processes by averaging, Journal of the ACM, vol.61, issue.1, 2014.
DOI : 10.1007/978-3-642-02930-1_11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Culbertson and K. Sturtz, A categorical foundation for Bayesian probability Applied Categorical Structures, pp.1-16, 2012.

M. Giry, A categorical approach to probability theory In Categorical Aspects of Topology and Analysis, number 915 in Lecture Notes In Math, pp.68-85, 1981.

A. S. Kechris, Classical descriptive set theory, Graduate Text in Mathematics, vol.156, 1995.
DOI : 10.1007/978-1-4612-4190-4

D. Kozen, A probabilistic PDL, Proceedings of the fifteenth annual ACM symposium on Theory of computing , STOC '83, pp.291-297, 1983.
DOI : 10.1145/800061.808758

URL : http://doi.org/10.1016/0022-0000(85)90012-1

P. Selinger, Towards a semantics for higher-order quantum computation, Proceedings of the 2nd International Workshop on Quantum Programming Languages, pp.127-143, 2004.

S. Staton, H. Yang, C. Heunen, O. Kammar, and F. Wood, Semantics for probabilistic programming, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 2016.
DOI : 10.1145/2933575.2935313

C. Villani, Optimal transport, Old and New. Grundlehren der mathematischen Wissenschaften, 2006.

D. Williams, Probability with Martingales, 1991.
DOI : 10.1017/CBO9780511813658