Research
Conference articles
- An Analysis of Symmetry in Quantitative Semantics, with Pierre Clairambault, LICS conference, 2024. (proceedings), (arxiv), (pdf).
- The Cartesian Closed Bicategory of Thin Spans of Groupoids, with Pierre Clairambault, LICS conference, 2023. (arxiv), (pdf).
- Describing free ω-categories, with Samuel Mimram, LICS conference, 2019. (pdf).
- Coherence of Gray categories via rewriting, with Samuel Mimram, FSCD conference, 2018. (pdf).
- Dependent Types and Multi-Monadic Effects in F*, with Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin, POPL conference, 2016. (proceedings), (pdf).
Journal articles
- Free precategories as presheaf categories, with Samuel Mimram, Theory and Applications of Categories 41(24): 785-824, 2024. (journal), (arxiv), (pdf).
- Rewriting in Gray categories with applications to coherence, with Samuel Mimram, Mathematical Structures in Computer Science 32(5):574-647, 2022. (journal), (arxiv), (pdf).
- Unifying notions of pasting diagrams, Higher Structures 6(1): 1-79, 2022. (journal), (arxiv), (pdf).
- Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets, with David Gosset, Vadym Kliuchnikov, David McKinnon, Journal of Mathematical Physics 56(8), 2015. (journal), (arxiv), (pdf).
Pre-prints
- A computational method for left-adjointness. (arxiv).
- An extension of Batanin’s approach to globular algebras. (arxiv).
PhD thesis
The registered (and not modifiable) version of my PhD manuscript can be found here. A regularly updated version of my manuscript can be downloaded here.
Talks
- Computational methods in category theory, given at the /Logique et Interactions/ seminar, Marseille, in February 2025. (slides).
- Thin spans and their modelling of rigid intersection types, given a the Chocola seminar, Lyon, in November 2023. (slides).
- The cartesian closed bicategory of thin spans, given at the Journées LHC, Paris–Saclay, in October 2022. Talk also given at the ANR PPS 4th general meeting. (slides).
- A computational method for left adjointness, given at the Logic and Semantics seminar, Cambridge, in November 2021. Also given at the /Logique et Interactions/ seminar, Marseille, in June 2022. (slides), (code).
- Rewriting for Gray categories, given at the Algebraic Rewriting Seminar, in May 2021. (slides), (video).
- An extension of Batanin framework for higher categories, given at the I2M seminar in March 2021. (slides).
- Computational descriptions of higher categories, PhD defense, January 2021. (html), (slides), (video).
- Describing free ω-categories, LICS19. (slides).
- Coherence of Gray categories via rewriting, FSCD18. (slides).