Federico Olimpieri

17 papers A* 2B 3Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
From Thin Concurrent Games to Generalized Species of Structures (Extended Version).
Log. Methods Comput. Sci.
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
2025 J jnl
Linearization via Rewriting (Long Version).
CoRR
Ugo Dal Lago, Federico Olimpieri
2024 J jnl
An Indexed Linear Logic for Idempotent Intersection Types (Long version).
CoRR
Flavien Breuvart, Federico Olimpieri
2024 B conf
Coherence by Normalization for Linear Multicategorical Structures.
CSL
Federico Olimpieri
2023 J jnl
Canonicity in Modal Lambda Calculus.
CoRR
Matteo Acclavio, Davide Catta, Federico Olimpieri
2023 B conf
Canonicity of Proofs in Constructive Modal Logic.
TABLEAUX
Matteo Acclavio, Davide Catta, Federico Olimpieri
2023 J jnl
Coherence by Normalization for Linear Multicategorical Structures.
CoRR
Federico Olimpieri
2023 A* conf
From Thin Concurrent Games to Generalized Species of Structures.
LICS
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
2023 J jnl
From Thin Concurrent Games to Generalized Species of Structures.
CoRR
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
2023 J jnl
Why Are Proofs Relevant in Proof-Relevant Models?
Proc. ACM Program. Lang.
Axel Kerinec, Giulio Manzonetto, Federico Olimpieri
2022 J jnl
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants.
Log. Methods Comput. Sci.
Federico Olimpieri, Lionel Vaux Auclair
2021 B conf
Categorifying Non-Idempotent Intersection Types.
CSL
Giulio Guerrieri, Federico Olimpieri
2021 A* conf
Intersection Type Distributors.
LICS
Federico Olimpieri
2020 J jnl
Intersection Type Distributors.
CoRR
Federico Olimpieri
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 J jnl
Normalization, Taylor expansion and rigid approximation of λ-terms.
CoRR
Federico Olimpieri
2020 J jnl
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants.
CoRR
Federico Olimpieri, Lionel Vaux Auclair