Research

Preprints

• 2026 - Proof Nets for Second-order Intuitionistic Logic (pdf), [joint work with Matteo Acclavio], Submitted

Thesis

• 2023 - Master's thesis : Infering Weighted Abstract Categorial Grammars (pdf) (In French)