Compositional Semantics for Probabilistic Programs with Exact Conditioning
Dario Stein and Sam Staton
Book Title
36th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2021‚ Rome‚ Italy‚ June 29 − July 2‚ 2021
Pages
1–13
Publisher
IEEE
Year
2021