scientific article; zbMATH DE number 1070627

MaRDI QIDQ4357067zbMATH OpenFDO

Authors Helmut Schwichtenberg

Publication date 7 October 1997

zbMATH Keywords

\(\lambda\)-calculus with control operatorscall-by-value \(\beta\)-conversionclassical logiccolon-translationcontinuation-passing-style translationimplicational propositional logicintuitionistic logicminimal logictermination of normalization strategies

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50)

Recommendations

• Strong normalization proofs by CPS-translations
• scientific article; zbMATH DE number 1456954
• scientific article; zbMATH DE number 1948182
• Comparing control constructs by double-barrelled CPS transforms
• Comparing control constructs by double-barrelled CPS

Cited in

(13)

• Non-strictly positive fixed points for classical natural deduction
• Comparing control constructs by double-barrelled CPS
• Continuation-passing style models complete for intuitionistic logic
• scientific article; zbMATH DE number 1692892 (Why is no real title available?)
• A context-based approach to proving termination of evaluation
• Proofs, tests and continuation passing style
• scientific article; zbMATH DE number 1948182 (Why is no real title available?)
• scientific article; zbMATH DE number 2053247 (Why is no real title available?)
• Comparing control constructs by double-barrelled CPS transforms
• scientific article; zbMATH DE number 1456954 (Why is no real title available?)
• Proving termination of evaluation for system F with control operators
• Constructive classical logic as CPS-calculus
• Strong normalization proofs by CPS-translations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357067)