Andrea Condoluci

Identifiers

No identifiers captured yet.

Papers (4)

1. Sharing Equality is Linear cs.LO · 2019 · author #1
2. Crumbling Abstract Machines cs.LO · 2019 · author #2
3. Admissible Tools in the Kitchen of Intuitionistic Logic cs.LO · 2018 · author #1
4. CERES in Propositional Proof Schemata cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Beniamino Accattoli 2 shared papers
• Claudio Sacerdoti Coen 2 shared papers
• Giulio Guerrieri 1 shared papers
• Matteo Manighetti 1 shared papers