Koji Nakazawa, Makoto Tatsuta. Strong normalization proof with CPS-translation for second order classical natural deduction. Journal of Symbolic Logic, 68(3):851-859, 2003.
@article{NakazawaT03,
title = {Strong normalization proof with CPS-translation for second order classical natural deduction},
author = {Koji Nakazawa and Makoto Tatsuta},
year = {2003},
tags = {translation},
researchr = {https://researchr.org/publication/NakazawaT03},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {68},
number = {3},
pages = {851-859},
}