Dialectica interpretation of well-founded induction

Helmut Schwichtenberg. Dialectica interpretation of well-founded induction. Math. Log. Q., 54(3):229-239, 2008. [doi]

Abstract

Abstract is missing.