Relational Reasoning via Probabilistic Coupling.

Gilles Barthe, Thomas Espitau, Benjamin Grgoire, Justin Hsu, Lo Stefanesco, Pierre-Yves Strub

Browse the full LPAR paper archive.