Logical Interpretation of Selective CPS Transformation Seminars/Workshops

Abstract

First, I will briefly introduce the CPS transformation and the selective CPS transformation of Nielson. Second, I will show the correspondence between the CPS transformation and the double-negation translation. Finally, I will present our investigation of logical interpretation of the selective CPS transformation.