Federico Olimpieri

According to our database, Federico Olimpieri authored at least 11 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An Indexed Linear Logic for Idempotent Intersection Types (Long version).

Flavien Breuvart, Federico Olimpieri

CoRR, 2024

Coherence by Normalization for Linear Multicategorical Structures.

Federico Olimpieri

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Why Are Proofs Relevant in Proof-Relevant Models?

Axel Kerinec, Giulio Manzonetto, Federico Olimpieri

Proc. ACM Program. Lang., January, 2023

Canonicity in Modal Lambda Calculus.

Matteo Acclavio, Davide Catta, Federico Olimpieri

CoRR, 2023

Canonicity of Proofs in Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Federico Olimpieri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

From Thin Concurrent Games to Generalized Species of Structures.

Pierre Clairambault, Federico Olimpieri, Hugo Paquet

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants.

Federico Olimpieri, Lionel Vaux Auclair

Log. Methods Comput. Sci., 2022

2021

Intersection Type Distributors.

Federico Olimpieri

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Categorifying Non-Idempotent Intersection Types.

Giulio Guerrieri, Federico Olimpieri

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

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

PhD thesis, 2020

Normalization, Taylor expansion and rigid approximation of λ-terms.

Federico Olimpieri

CoRR, 2020