Federico Olimpieri

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Mutual Exclusion

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Federico Olimpieri
Coherence by Normalization for Linear Multicategorical Structures. CSL (2024)
Flavien Breuvart, Federico Olimpieri
An Indexed Linear Logic for Idempotent Intersection Types (Long version). CoRR (2024)
Federico Olimpieri
Coherence by Normalization for Linear Multicategorical Structures. CoRR (2023)
Axel Kerinec, Giulio Manzonetto, Federico Olimpieri
Why Are Proofs Relevant in Proof-Relevant Models? Proc. ACM Program. Lang. 7 (POPL) (2023)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
From Thin Concurrent Games to Generalized Species of Structures. LICS (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity of Proofs in Constructive Modal Logic. TABLEAUX (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity in Modal Lambda Calculus. CoRR (2023)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
From Thin Concurrent Games to Generalized Species of Structures. CoRR (2023)
Federico Olimpieri, Lionel Vaux Auclair
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. Log. Methods Comput. Sci. 18 (1) (2022)
Giulio Guerrieri, Federico Olimpieri
Categorifying Non-Idempotent Intersection Types. CSL (2021)
Federico Olimpieri
Intersection Type Distributors. LICS (2021)
Federico Olimpieri
Intersection Type Distributors. CoRR (2020)
Federico Olimpieri, Lionel Vaux Auclair
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. CoRR (2020)
Federico Olimpieri
Normalization, Taylor expansion and rigid approximation of λ-terms. CoRR (2020)