Quantitative Equational Reasoning
From MaRDI portal
Publication:5150954
DOI10.1017/9781108770750.011MaRDI QIDQ5150954
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin, Giorgio Bacci
Publication date: 16 February 2021
Published in: Foundations of Probabilistic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/9781108770750.011
computer science; computational statistics; statistics and probability; machine learning and information science; programming languages and applied logic
68N01: General topics in the theory of software