P. Beylin and . Dybjer, Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids, Types for Proofs and Programs, pp.47-61, 1995.
DOI : 10.1007/3-540-61780-9_61

. Billingsley, Convergence of Probability Measures, 1968.
DOI : 10.1002/9780470316962

. Bourbaki, Elements de mathématique. Topologie Générale, 1971.

V. Dahlqvist, I. Danos, and . Garnier, Giry and the Machine, Electronic Notes in Theoretical Computer Science, vol.325, 2016.
DOI : 10.1016/j.entcs.2016.09.033

URL : https://hal.archives-ouvertes.fr/hal-01429637

I. Danos and . Garnier, Dirichlet is natural Electronic Notes in Theoretical Computer Science, The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), pp.137-164, 2015.

V. Desharnais, R. Gupta, P. Jagadeesan, and . Panangaden, Metrics for labelled Markov processes, Theoretical Computer Science, vol.318, issue.3, pp.323-354, 2004.
DOI : 10.1016/j.tcs.2003.09.013

URL : http://doi.org/10.1016/j.tcs.2003.09.013

N. Ethier and T. G. Kurtz, Markov processes: characterization and convergence. Probability and mathematical statistics, 1986.
DOI : 10.1002/9780470316658

A. Frigyik, A. Kapila, and M. R. Gupta, Introduction to the Dirichlet distribution and related processes, 2010.

. 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.

K. Goubault-larrecq and . Keimel, Choquet???Kendall???Matheron theorems for non-Hausdorff spaces, Mathematical Structures in Computer Science, vol.4596, issue.03, pp.511-561, 2011.
DOI : 10.1017/S0960129510000617

T. Johnstone, Stone Spaces. Cambridge Studies in Advanced Mathematics, 1986.

. Kallenberg, Probabilistic Symmetries and Invariance Principles. Number v. 10 in Applied probability, 2005.

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

G. Keimel and . Plotkin, Predicate transformers for extended probability and non-determinism, Mathematical Structures in Computer Science, vol.8, issue.03, pp.501-539, 2009.
DOI : 10.1016/S0304-3975(00)00208-5

M. Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998.
DOI : 10.1007/978-1-4612-9839-7

P. Mardare, G. Panangaden, and . Plotkin, Quantitative Algebraic Reasoning, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 2016.
DOI : 10.1145/2933575.2934518

R. Parthasarathy, Probability Measures on Metric Spaces, 1972.

N. Segala and . Lynch, Probabilistic simulations for probabilistic processes, Nordic Journal of Computing, vol.2, issue.2, pp.250-273, 1995.
DOI : 10.1007/bfb0015027

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

K. Tix, G. Keimel, and . Plotkin, Semantic domains for combining probability and nondeterminism . Electronic Notes in Th, Comp. Sc, vol.222, pp.3-99, 2009.
DOI : 10.1016/j.entcs.2009.01.002

URL : http://doi.org/10.1016/j.entcs.2009.01.002

J. Van-breugel and . Worrell, A behavioural pseudometric for probabilistic transition systems, Theoretical Computer Science, vol.331, issue.1, pp.115-142, 2005.
DOI : 10.1016/j.tcs.2004.09.035