Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. Quantitative Equational Reasoning. In Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva 0001, editors, Foundations of Probabilistic Programming. pages 333-360, Cambridge University Press, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.