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: