Article contents
Strong normalization proof with CPS-translation for second order classical natural deduction
Published online by Cambridge University Press: 12 March 2014
Abstract
This paper points out an error of Parigot's proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2003
References
REFERENCES
- 7
- Cited by