Speaker:Hyeonseung Im
Time:2006-08-04 16:45:00
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 ]