On Iteration in Discrete Probabilistic Programming. - Mateo Torres-Ruiz; Robin Piedeleu; Alexandra Silva 001; Fabio Zanasi (FSCD, 2024)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. - Robin Piedeleu; Mateo Torres-Ruiz; Alexandra Silva 001; Fabio Zanasi (ESOP (2), 2025)