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]
@incollection{BacciMPP20,
title = {Quantitative Equational Reasoning},
author = {Giorgio Bacci and Radu Mardare and Prakash Panangaden and Gordon D. Plotkin},
year = {2020},
doi = {10.1017/9781108770750.011},
url = {https://doi.org/10.1017/9781108770750.011},
researchr = {https://researchr.org/publication/BacciMPP20},
cites = {0},
citedby = {0},
pages = {333-360},
booktitle = {Foundations of Probabilistic Programming},
editor = {Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva 0001},
publisher = {Cambridge University Press},
isbn = {9781108770750},
}