Normalization, Taylor expansion and rigid approximation of λ-terms. - Federico Olimpieri (CoRR, 2020)

Intersection Types and Resource Calculi in the Denotational Semantics of λ-Calculus. (Types intersection et calculs avec ressources dans la sémantique dénotationnelle du λ-calcul). - Federico Olimpieri (2020)

Categorifying Non-Idempotent Intersection Types. - Giulio Guerrieri; Federico Olimpieri (CSL, 2021)

Intersection Type Distributors. - Federico Olimpieri (LICS, 2021)

On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. - Federico Olimpieri; Lionel Vaux Auclair (Log. Methods Comput. Sci., 2022)

From Thin Concurrent Games to Generalized Species of Structures. - Pierre Clairambault; Federico Olimpieri; Hugo Paquet (LICS, 2023)

Canonicity of Proofs in Constructive Modal Logic. - Matteo Acclavio; Davide Catta; Federico Olimpieri (TABLEAUX, 2023)

Canonicity in Modal Lambda Calculus. - Matteo Acclavio; Davide Catta; Federico Olimpieri (CoRR, 2023)

Why Are Proofs Relevant in Proof-Relevant Models? - Axel Kerinec; Giulio Manzonetto; Federico Olimpieri (Proc. ACM Program. Lang., 2023)

Coherence by Normalization for Linear Multicategorical Structures. - Federico Olimpieri (CSL, 2024)

An Indexed Linear Logic for Idempotent Intersection Types (Long version). - Flavien Breuvart; Federico Olimpieri (CoRR, 2024)

Linearization via Rewriting (Long Version). - Ugo Dal Lago; Federico Olimpieri (CoRR, 2025)