2 results
The geometry of Bayesian programming
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 6 / June 2021
- Published online by Cambridge University Press:
- 07 December 2021, pp. 633-681
-
- Article
-
- You have access
- Open access
- Export citation
A deterministic rewrite system for the probabilistic λ-calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 10 / November 2019
- Published online by Cambridge University Press:
- 06 June 2019, pp. 1479-1512
-
- Article
- Export citation