7 citations · 28 across the 26 of their papers we have counts for
1 paper · 2 filters
Morenikeji Neri, Nicholas Pischke
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima f…