Intersection type distributors F Olimpieri
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-15, 2021
20 2021 On the Taylor expansion of -terms and the groupoid structure of their rigid approximants F Olimpieri, LV Auclair
Logical Methods in Computer Science 18, 2022
8 2022 Categorifying non-idempotent intersection types G Guerrieri, F Olimpieri
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021
7 2021 Why are proofs relevant in proof-relevant models? A Kerinec, G Manzonetto, F Olimpieri
Proceedings of the ACM on Programming Languages 7 (POPL), 218-248, 2023
6 2023 Intersection types and ressource calculi in the denotational semantics of lambda-calculus F Olimpieri
Aix-Marseille, 2020
6 2020 Normalization, Taylor expansion and rigid approximation of -terms F Olimpieri
arXiv preprint arXiv:2001.01619, 2020
4 2020 From Thin Concurrent Games to Generalized Species of Structures P Clairambault, F Olimpieri, H Paquet
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
3 2023 On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants LV Auclair, F Olimpieri
Informal proc. of TLLA 2018, 2018
3 2018 Intersection Type Distributors. arXiv (2020) F Olimpieri
arXiv preprint arXiv:2002.01287, 2020
2 2020 Normalization and Taylor expansion of λ-terms F Olimpieri
EasyChair Preprint, 2018
1 2018 An Indexed Linear Logic for Idempotent Intersection Types (Long version) F Breuvart, F Olimpieri
arXiv preprint arXiv:2401.14126, 2024
2024 Canonicity of Proofs in Constructive Modal Logic M Acclavio, D Catta, F Olimpieri
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
2023 Coherence by Normalization for Linear Multicategorical Structures F Olimpieri
arXiv preprint arXiv:2302.05755, 2023
2023 A Fibrational Approach to Multiplicative Additive Indexed Linear Logic F Breuvart, T Ehrhard, N Munnich, F Olimpieri
2023 Intersection Types for the λ-Calculus F Olimpieri
Rigid Taylor Expansion and Intersection Type Distributors in the Bang Calculus G Guerrieri, F Olimpieri
Proof Equivalences in Constructive Modal Logic M Acclavio, D Catta, F Olimpieri, L Straßburger
The Proof Society Summer School and Workshop 2023, 0