Sciweavers

IPL
2006

Strong normalization proofs by CPS-translations

13 years 3 months ago
Strong normalization proofs by CPS-translations
In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system
Satoshi Ikeda, Koji Nakazawa
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where IPL
Authors Satoshi Ikeda, Koji Nakazawa
Comments (0)