Corrigendum to "Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction"

✍ Scribed by Koji Nakazawa and Makoto Tatsuta

• Book ID: 124980305
• Publisher: Association for Symbolic Logic
• Year: 2003
• Tongue: English
• Weight: 93 KB
• Volume: 68
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/4147771