Logical Interpretation of Selective CPS Transformation Seminars/Workshops
|Place:||Room 317, Bldg 302, SNU|
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.
[ List ]