Federico Olimpieri

Orcid: 0000-0003-1485-5360

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Coherence by Normalization for Linear Multicategorical Structures.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
Why Are Proofs Relevant in Proof-Relevant Models?
Proc. ACM Program. Lang., January, 2023

Canonicity in Modal Lambda Calculus.
CoRR, 2023

Canonicity of Proofs in Constructive Modal Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

From Thin Concurrent Games to Generalized Species of Structures.
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.
Log. Methods Comput. Sci., 2022

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

Categorifying Non-Idempotent Intersection Types.
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).
PhD thesis, 2020

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


  Loading...