01:27:45
publiée le 26 mai 2026
Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
49:50
publiée le 27 mars 2026
Generalized binomial edge ideals are Cartwright-Sturmfels
De Emanuela De Negri