Joint Distributions in Probabilistic Semantics

Dexter Kozen, Alexandra Silva, Erik Voogd

Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability di…