4 citations · 4 across the 1 of their papers we have counts for
1 paper
Thomas Powell
We use Gödel's Dialectica interpretation to analyse Nash-Williams' elegant but non-constructive "minimal bad sequence" proof of Higman's Lemma. The result is a concise constructive…