Here are a few documents that are official somehow and linked to a public event.

My PhD thesis is on finitary semantics of the simply-typed $\lambda$-calculus and related topics.

Here are:

Here are a few documents of my second PhD year:

Here are a few talks that I gave during my first year of PhD:

I wrote things about canonical extensions, which were the topic of my M2 research internship from March 2021 to August 2021 under the supervision of Sam van Gool and Paul-André Melliès. You can find here the following documents: