Federico Olimpieri
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Categorifying non-idempotent intersection types | 2026-03-23 | Paper |
| From thin concurrent games to generalized species of structures | 2026-02-27 | Paper |
| Coherence by normalization for linear multicategorical structures | 2026-02-19 | Paper |
| From thin concurrent games to generalized species of structures (extended version) Logical Methods in Computer Science | 2026-02-13 | Paper |
| Canonicity of proofs in constructive modal logic | 2024-05-17 | Paper |
| On the Taylor expansion of -terms and the groupoid structure of their rigid approximants (available as arXiv preprint) | 2022-02-09 | Paper |
| On the Taylor expansion of -terms and the groupoid structure of their rigid approximants | 2022-02-09 | Paper |
Research outcomes over time
This page was built for person: Federico Olimpieri
