A Formal Foundation for Equational Reasoning on Probabilistic Programs.

Reynald Affeldt, Yoshihiro Ishiguro, Zachary Stone

Browse the full APLAS paper archive.