Identity of proofs and formulas using proof-nets in multiplicative-additive linear logic Soutenance de thèse Lundi 23 sep 2024
Analyse asymptotiques d'intégrales multiples : au-delà des beta-ensembles classiques Soutenance de thèse Vendredi 30 aoû 2024
