01:27:45
publiée le 26 mai 2026
Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
38:01
publiée le 25 février 2026
Communications sécurisées avec des variables quantiques continues
De Philippe Grangier