Noncomputable conditional distributions, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, pp.107-116, 2011. ,
Infinite dimensional analysis, volume 32006, 1999. ,
Measure Theory I, 2006. ,
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=10.1.1.299.2287
A categorical foundation for Bayesian probability Applied Categorical Structures, pp.1-16, 2012. ,
A categorical approach to probability theory In Categorical Aspects of Topology and Analysis, number 915 in Lecture Notes In Math, pp.68-85, 1981. ,
Classical descriptive set theory, Graduate Text in Mathematics, vol.156, 1995. ,
DOI : 10.1007/978-1-4612-4190-4
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
Towards a semantics for higher-order quantum computation, Proceedings of the 2nd International Workshop on Quantum Programming Languages, pp.127-143, 2004. ,
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
Optimal transport, Old and New. Grundlehren der mathematischen Wissenschaften, 2006. ,
Probability with Martingales, 1991. ,
DOI : 10.1017/CBO9780511813658