Pietro Di Gianantonio

A Cartesian Closed Category for Random Variables

2024

We present a novel, yet rather simple construction within the traditional framework of Scott domains to provide semantics to probabilistic programming, thus obtaining a solution to a long-standing open problem in this area. We work …