Stefano Berardi

Identifiers

• name variant Stefano Berardi 0.60 · backfill

Papers (7)

1. Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic cs.LO · 2017 · author #1
2. A Sound, Complete and Effective Second Order Game Semantics cs.LO · 2016 · author #1
3. Proceedings Sixth International Workshop on Classical Logic and Computation cs.LO · 2016 · author #3
4. Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle of Arithmetic math.LO · 2016 · author #1
5. Proving termination with transition invariants of height omega cs.LO · 2014 · author #1
6. Proceedings Third International Workshop on Classical Logic and Computation cs.LO · 2011 · author #2
7. Interactive Realizers and Monads cs.LO · 2010 · author #1

Mentions

• 1101.5200 #2 · backfill · confidence 0.70 Stefano Berardi
• 1005.2907 #1 · backfill · confidence 0.70 Stefano Berardi

Frequent Coauthors

• Silvia Steila 2 shared papers
• Steffen van Bakel 2 shared papers
• Makoto Tatsuta 1 shared papers
• Paulo Oliva 1 shared papers
• Ugo de'Liguoro 1 shared papers
• Ulrich Berger 1 shared papers
• Ulrich Kohlenbach 1 shared papers