Corrigendum to 'Strong normalization proof with CPS-translation for second order classical natural deduction'

摘要

Our paper [1] contains a serious error. Proposition 4.6 of [1] is actually false and hence our strong normalization proof does not work for the Curry-style λμ-calculus. However, our method still can show that (1) the correction of Proposition 5.4 of [2], and (2) the correction of the proof of strong normalization of Church-style λμ-calculus by CPS-translation.