Keyword:probabilistic programs

Publications
Proving uniformity and independence by self-composition and coupling Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu and Pierre-Yves Strub In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning