[logic-ml] セミナー案内

[KASHIMA Ryo]

セミナーのご案内

日時：6月21日(木)16:30から
場所：東京工業大学 大岡山西８号館W棟11階 W1101セミナー室
会場までの交通案内はこちらから：
http://www.titech.ac.jp/about/campus/index.html

話者：松田 直祐 （千葉大学修士課程）
題目：Charch-Rosser Theorem
概要：
[1]を参考にしながらも、よりシンプルな概念のみを用いて Church-Rosser Theorem の証明を与える。
[1]：M.Takahashi, Parallel Reductions in Lambda-calculus,
J.Symbolic Comput. Vol.7 (1989), pp.113-123.

-----
問い合わせ先：鹿島 亮（東京工業大学）
kashima at is.titech.ac.jp