Yoriyuki Yamagata

Research Scientist, National Institute of Advanced Industrial Science and Technology(AIST)

Publication

A sequent calculus for limit computable mathematics

Annals of Pure and Applied Logic 153-3 (2008), Elsevier

Strong normalization of second-order symmetric lambda-mu calculus

Information and Computation 193-1 (2004), Elsevier. The revised verison of the TACS2001 paper, which shows a better analysis of normal forms but more complex proof of strong normalization, since the reduction rules are much more enhanced to yield better normal forms.

Strong normalization of a symmetric lambda calculus for second-order classical logic

Archive for Mathematical Logic 41-1 (2002), Springer. Copyright: Spinger Ferlag. You can obtain the official version from http://link.springer.de.

Strong normalization of second-order symmetric lambda-mu calculus

TACS2001(Theoretical Aspects of Computer Software, 4th International Symposium), Lecture Notes in Computer Science 2215(2001), Springer. You can obtain the official version from http://link.springer.de. The part of this article analyzing normal forms seems to contain an error. The SN proof is simpler than I&C paper above.

Technical Report

ソフトウェア更新システムのモデル検査によるセキュリティ

Masaya Saito, Yoriyuki Yamagata

ソフトウェア更新システムプロトコルの BAN Logic による安全性検証(Preliminary Version)

Satoru Yoshida, Yoriyuki Yamagata

A sequent calculus for Limit Computable Mathematics (Technical Report)

Stefano Berardi, Yoriyuki yamagata

Talk

A sequent calculus for 2-backtracking[slide]

YAMPII・P2P層の実装およびモデル検査[paper]

Masaya Saito, Yoriyuki Yamagata, 第４回ディペンダブルソフトウェアワークショップ(DSW06-2)

A sequent calculus for Limit Computable Mathematics[slide] [ paper]

Stefano Berardi, Yoriyuki Yamagata, CL&C2006

Strong normalization of second-order symmetric lambda-mu calculus[paper]

TACS2001(Theoretical Aspects of Computer Software, 4th International Symposium)

Contact