Publications

External lists

Google Scholar/DBLP

Old papers

Strong normalization of second-order symmetric lambda-mu calculus [Official version][The author version]
Yoriyuki Yamagata, Information and Computation 193-1 (2004), Elsevier.
Strong normalization of a symmetric lambda calculus for second-order classical logic[The author version]
Yoriyuki Yamagata, Archive for Mathematical Logic 41-1 (2002), Springer. Copyright: Springer Ferlag. Official version is publisehd at http://link.springer.de.
Strong normalization of second-order symmetric lambda-mu calculus[The author version]
Yoriyuki Yamagata, TACS2001(Theoretical Aspects of Computer Software, 4th International Symposium), Lecture Notes in Computer Science 2215(2001), Springer. Official version is publisehd at http://link.springer.de.