مرکز منطقه ای اطلاع رساني علوم و فناوري - Strong normalization proofs by CPS-translations

Title of article :

Strong normalization proofs by CPS-translations

Author/Authors :

Satoshi Ikeda، نويسنده , , Koji Nakazawa، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

163

To page :

170

Keywords :

Continuation passing style translation , Strong normalization , Classical natural deduction , Permutativeconversion , Programming calculi

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130291

Link To Document :