01:27:45
published on May 26, 2026
Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
38:01
published on February 25, 2026
Communications sécurisées avec des variables quantiques continues
By Philippe Grangier