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
Convergence of Probability Measures, 1968. ,
DOI : 10.1002/9780470316962
Elements de mathématique. Topologie Générale, 1971. ,
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
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. ,
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
Markov processes: characterization and convergence. Probability and mathematical statistics, 1986. ,
DOI : 10.1002/9780470316658
Introduction to the Dirichlet distribution and related processes, 2010. ,
A categorical approach to probability theory In Categorical Aspects of Topology and Analysis, number 915 in Lecture Notes In Math, pp.68-85, 1981. ,
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
Stone Spaces. Cambridge Studies in Advanced Mathematics, 1986. ,
Probabilistic Symmetries and Invariance Principles. Number v. 10 in Applied probability, 2005. ,
Classical descriptive set theory, Graduate Text in Mathematics, vol.156, 1995. ,
DOI : 10.1007/978-1-4612-4190-4
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
Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998. ,
DOI : 10.1007/978-1-4612-9839-7
Quantitative Algebraic Reasoning, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 2016. ,
DOI : 10.1145/2933575.2934518
Probability Measures on Metric Spaces, 1972. ,
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=10.1.1.13.6430
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
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