- 2021.11.04, Scalp days, Fontainebleau, Sniper: when Bécassine brings automation to Coq (joint work with Valentin Blot, Louise Dubois de Prisque and Chantal Keller).
- 2020.07, LICS'20 online, Saarbrücken, Persistent and Consuming Types for Classical Logic (joint work with Delia Kesner)
along with the YouTube recording .
- 2019.09.13, Universidad de Buenos Aires A glimpse at intersection types
- 2019.06.25, FSCD'19: Sequence types for hereditary permutators
- 2018.07.09, LICS, Flocs 2018, Oxford: Every λ-term is meaningful in the infinitary relational model.
- 2018.07.07, HOR (invited talk), Flocs 2018, Oxford: Some applications of quantitative types inside and outside type theory .
- 2018.06.10, séminaire de logique de l'I2M (Marseille): Representing permutations without permutations: the expressive power of sequence types.
- 2017.12.07, Phd Defense, Université Paris Diderot: Non-idempotent typing operators, beyond the λ-Calculus
- 2017.06.21, LiCS'17, Reyjavik: Infinite Sequences as Intersection Types: a new answer to Klop’s Problem
- 2016.12.01, Rencontres Chocola, ENS Lyon: Some Uses of Infinitary Intersection Types as Sequences.
A medley of three articles.
- 2016.11.29, Geocal Meeting, Paris 7: Coinductive Intersection Types are Completely Unsound
Article version.
- 2016.10.07, Elica Meeting, Bologna: Infinitary Intersection Types as Sequences (A New Answer to Klop’s Problem).
Article version.
- 2016.06.25, HOR, Porto: The Expressive Power of Coinductive Rigid Types with non-Idempotent Intersection.
Article version.
-
2016.06.14, GDRI Linear Logic, Paris 7: Infinitary Intersection Types as Sequences (A New Answer to Klop’s Problem). See Elica Meeting 2016.