October, 2022 - July, 2023
As my 3rd at Ens Paris-Saclay, I am starting in October 2022, a 9 months research internship with Benedikt Ahrens. The project will be to extend the framework of initial semantics (in the tradition of monads-based models) with polymorphism.