149 citations · 517 across the 29 of their papers we have counts for
1 paper · 2 filters
Jeremy Avigad
Almost from the inception of Hilbert's program, foundational and structural efforts in proof theory have been directed towards the goal of clarifying the computational content of m…