01:27:45
publiée le 26 mai 2026
Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
01:14:40
publiée le 26 mai 2026
Expressive probabilistic programming : discrete-time stochastic processes
De Sam Staton
01:24:49
publiée le 26 mai 2026
Algorithmic foundations for exact discrete probabilistic reasoning
De Steven Holtzen