Research

Publications

Approximation theory for distant Bang calculus
- avec Kostia Chardonnet et Jules Chouquet
- à la International Conference on Formal Structures for Computation and Deduction 2026
The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus
- avec Lionel Vaux Auclair
- à la 11th International Workshop on Higher-Order Rewriting
Why are proofs relevant in proof-relevant models?
- avec Giulio Manzonetto et Federico Olimpieri
- à Principles of Programming Languages, 2023
Call-By-Value, Again!
- avec Giulio Manzonetto et Simona Ronchi Della Rocca
- à Proc. of Formal Structures for Computation and Deduction 2021
Revisiting Call-by-Value Böhm trees in light of their Taylor expansion
- avec Giulio Manzonetto et Michela Pagani
- dans le Volume 16, Issue 3, Logical Methods in Computer Science, 2020.
When does deep multi-task learning work for loosely related document classification tasks?
- avec Anders Søgaard et Chloe Braud
- dans les Proceedings of the 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP

Présentations

Seminaire à LACL janvier 2026: slides

Seminaire à I2M décembre 2025: slides

LHC 2024: slides

soutenance de thése 2023: slides

Chocola mai 2023: slides

Seminaire à I2M sptembre 2022: slides

Seminaire à LIPN septembre 2021: slides

FSCD 2021: slides et vidéo.