Thesis_defense

I defended my PhD thesis “Proof theory, syntactic representations, logic, and sharing” on December 13th 2024! Check out my thesis here.