Quantitative Equational Reasoning

DOI10.1017/9781108770750.011OpenAlexW3195882006MaRDI QIDQ5150954

Giorgio Bacci, Prakash Panangaden, Radu Mardare, Gordon D. Plotkin

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

zbMATH Keywords

computer sciencecomputational statisticsstatistics and probabilitymachine learning and information scienceprogramming languages and applied logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Quantitative Equational Reasoning