Koji Nakazawa, Makoto Tatsuta. Corrigendum to Strong normalization proof with CPS-translation for second order classical natural deduction . Journal of Symbolic Logic, 68(4):1415-1416, 2003. [doi]
@article{NakazawaT03a,
title = {Corrigendum to Strong normalization proof with CPS-translation for second order classical natural deduction },
author = {Koji Nakazawa and Makoto Tatsuta},
year = {2003},
url = {http://projecteuclid.org/euclid.jsl/1067620196},
tags = {translation},
researchr = {https://researchr.org/publication/NakazawaT03a},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {68},
number = {4},
pages = {1415-1416},
}