A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.

Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi

Browse the full ESOP paper archive.