Research
Papers & Preprints
A list of my research papers and preprints.
Linearization via Rewriting
(with Ugo Dal Lago), preprint.
Coherence by Normalization for Linear Multicategorical Structures
(
Long version
), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024).
Canonicity of Proofs in Constructive Modal Logic
(with Matteo Acclavio and Davide Catta), Reasoning with Analytic Tableaux and Related Methods, 2023 (TABLEAUX 2023).
From Thin Concurrent Games to Generalized Species of Structures
(with Pierre Clairambault and Hugo Paquet), 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023 (LICS 2023).
Why are Proofs Relevant in Proof-Relevant Models?
(with Axel Kerinec and Giulio Manzonetto), Principles of Programming Languages, PACMPL, 2023 (POPL 2023,
slides
).
On the Taylor Expansion of Lambda Terms and the Groupoid Structure of their Rigid Approximants
(with Lionel Vaux), Logical Methods in Computer Science, 2022.
Intersection Type Distributors
, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021 (LICS 2021).
Categorifying Non-Idempotent Intersection Types
(with Giulio Guerrieri), 29th International Conference on Computer Science Logic, 2021 (CSL 2021).
A Fibrational Approach to Multiplicative Additive Indexed Linear Logic
(with Flavien Breuvart, Thomas Ehrhard and Nicolas Munnich), preprint.
PhD Manuscript
Intersection Types and Resource Calculi in the Denotational Semantics of Lambda Calculus
.
International Workshops
On the Taylor expansion of lambda terms and the groupoid structure of their rigid approximants
(short version), Joint Workshop on Linearity & TLLA, Oxford, 7 - 8 July, 2018.
Normalisation and Taylor expansion of lambda-terms
9th Workshop on Higher-Order Rewriting, Oxford, 7 - 8 July, 2018 (
full paper
).
Notes
Intersection Types for the Lambda Calculus
. These notes were inspired by a series of seminars I gave for the category theory group at the School of Mathematics of the University of Leeds (June-July 2022).