Matteo Acclavio

Identifiers

No identifiers captured yet.

Papers (7)

1. Proof Nets for PiL (Full Version) cs.LO · 2026 · author #1
2. Proof Identity and Categorical Models of BV cs.LO · 2026 · author #1
3. Intuitionistic BV (Extended version) cs.LO · 2025 · author #1
4. On Propositional Dynamic Logic and Concurrency cs.LO · 2024 · author #1
5. Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics cs.LO · 2017 · author #1
6. Proof Diagrams for Multiplicative Linear Logic cs.LO · 2016 · author #1
7. A Constructive Proof of Coherence for Symmetric Monoidal Categories Using Rewriting math.CT · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Fabrizio Montesi 1 shared papers
• Giulia Manara 1 shared papers
• Lutz Stra{\ss}burger 1 shared papers
• Lutz Strassburger 1 shared papers
• Marco Peressotti 1 shared papers
• Vladimir Zamdzhiev 1 shared papers