pith. sign in

Federico Aschieri

Identifiers

  • name variant Federico Aschieri 0.60 · backfill

Papers (7)

  1. $\unicode{8523}$ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs cs.LO · 2019 · author #1
  2. Natural Deduction and Normalization Proofs for the Intersection Type Discipline cs.LO · 2019 · author #1
  3. On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic cs.LO · 2016 · author #1
  4. G\"odel Logic: from Natural Deduction to Parallel Computation cs.LO · 2016 · author #1
  5. Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction math.LO · 2015 · author #1
  6. Interactive Learning Based Realizability and 1-Backtracking Games cs.LO · 2011 · author #1
  7. Learning, Realizability and Games in Classical Arithmetic math.LO · 2010 · author #1

Mentions

  • 1511.06260 #1 · backfill · confidence 0.70 Federico Aschieri
  • 1101.5441 #1 · backfill · confidence 0.70 Federico Aschieri
  • 1012.4992 #1 · backfill · confidence 0.70 Federico Aschieri

Frequent Coauthors