Monades et monades gradées : comment typer les effets des programmes fonctionnels
Seminar, Ecole Normale Supérieure - PSL, Paris, France
Talk given at the student seminar at DIENS about the general ideas of graded monads
Talks and presentations
Game comonads for existential and positive equivalence
Seminar, Laboratoire d'Informatique de Paris Nord, Villetaneuse, France
Team seminar given to my team LoCal presenting the work I took part in during my M1 internship.