| Intersection type distributors F Olimpieri 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-15, 2021 | 26 | 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 | 10 | 2023 |
| 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 | 9 | 2022 |
| Categorifying non-idempotent intersection types G Guerrieri, F Olimpieri 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 9 | 2021 |
| Intersection Types and Resource Calculi in the Denotational Semantics of Lambda-Calculus F Olimpieri Aix-Marseille Université, 2020 | 8 | 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 | 4 | 2023 |
| Normalization, Taylor expansion and rigid approximation of -terms F Olimpieri arXiv preprint arXiv:2001.01619, 2020 | 4 | 2020 |
| 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 | | |
Giulio GuerrieriDepartment of Computer Science, University of BathVerified email at bath.ac.uk
