7 citations · 28 across the 26 of their papers we have counts for
1 paper · 2 filters
Nicholas Pischke
We further develop the theoretical framework of proof mining, a program in mathematical logic that seeks to quantify and extract computational information from prima facie `non-com…