research
∙
09/13/2023
Joint Distributions in Probabilistic Semantics
Various categories have been proposed as targets for the denotational se...
share
research
∙
07/19/2023
Symbolic Semantics for Probabilistic Programs (extended version)
We present a new symbolic execution semantics of probabilistic programs ...
research
∙
06/10/2019
