Research

Preprints

• Proof Nets for Second-order Intuitionistic Logic (and their connection with hypergames) (pdf), [joint work with Matteo Acclavio], Preprint

• Second-Order Intuitionistic Proofs Without Syntax (pdf), [joint work with Matteo Acclavio], Preprint

Thesis

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