A Cartesian Closed Category for Random Variables

Pietro Di Gianantonio, Abbas Edalat

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…