Strong normalization proof with CPS-translation for second order classical natural deduction
From MaRDI portal
(Redirected from Publication:4650260)
Recommendations
- Strong normalization proofs by CPS-translations
- scientific article; zbMATH DE number 1456954
- Proofs of strong normalisation for second order classical natural deduction
- Strong normalization of classical natural deduction with disjunctions
- Stabilization -- an alternative to double-negation translation for classical natural deduction
Cites work
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
- Domain-free -calculus
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 1456954 (Why is no real title available?)
Cited in
(7)- A direct proof of strong normalization for full constructive second-order logic
- Strong normalization of classical natural deduction with disjunctions
- Proofs of strong normalisation for second order classical natural deduction
- Monadic translation of classical sequent calculus
- Stabilization -- an alternative to double-negation translation for classical natural deduction
- Complete call-by-value calculi of control operators. II: Strong termination
- Strong normalization proofs by CPS-translations
This page was built for publication: Strong normalization proof with CPS-translation for second order classical natural deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650260)
