40:18
publiée le 26 mai 2026
A proof of Riemannian positive mass theorem up to dimension 19
De Jintian Zhu
01:27:45
publiée le 26 mai 2026
Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé