1 results
10 - Quantitative Equational Reasoning
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 333-360
-
- Chapter
-
- You have access
- Open access
- Export citation