1 citations · 1 across the 1 of their papers we have counts for
1 paper
Will Stafford
Several recent results bring into focus the superintuitionistic nature of most notions of proof-theoretic validity, but little work has been done evaluating the consequences of the…