1 results
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