Federico Aschieri (Lab. PPS

Identifiers

• name variant Federico Aschieri (Lab. PPS 0.60 · backfill

Papers (1)

1. Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic cs.LO · 2012 · author #1

Mentions

• 1210.3114 #1 · backfill · confidence 0.70 Federico Aschieri (Lab. PPS

Frequent Coauthors

• Margherita Zorzi (Laboratoire d\^A'Informatique de Paris-Nord) 1 shared papers
• Paris 7) 1 shared papers