Skip to main content

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