4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Powell
The purpose of this article is to study the role of Gödel's functional interpretation in the extraction of programs from proofs in well quasi-order theory. The main focus is on the…