01:27:45
published on May 26, 2026
Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
01:14:40
published on May 26, 2026
Expressive probabilistic programming : discrete-time stochastic processes
By Sam Staton
01:24:49
published on May 26, 2026
Algorithmic foundations for exact discrete probabilistic reasoning
By Steven Holtzen