Title of article
Strong normalization proofs by CPS-translations
Author/Authors
Satoshi Ikeda، نويسنده , , Koji Nakazawa، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2006
Pages
8
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