1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jeremy Avigad, Henry Towsner
Extending Gödel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theo…