Thèses en cours

Limites des modalités gradées
LAURE Thomas
Directeur(s) : BREUVART Flavien, MAYERO Micaela
Date debut : 2025

Cohesion, Linear Logic, and Differentiation
SCHROEDER Quentin
Directeur(s) : FREY Jonas, MAZZA Damiano
Date debut : 2025