1 citations · 3 across the 10 of their papers we have counts for
1 paper · 1 filter
Sam Sanders
Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on t…