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