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.
No references recorded for this publication.
No citations of this publication recorded.