[logic-ml] Talk by Ryu Hasegawa at RIMS, Kyoto U. (2/24)

[Kazushige TERUI]

みなさま

今週木曜日に催されるセミナーのご案内をさせていただきます。
どうぞお気軽にお越しください。

照井
---
RIMS-CS website
http://www.kurims.kyoto-u.ac.jp/~cs/


=====
Speaker:
  長谷川立 (東京大学)

Title:
  Combinatorial enumeration model を用いた Church-Rosser 性の証明

Date:
  11.00 - 12.00, Februrary 24th (Thu)

Place:
   Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)"
     http://www.kyoto-u.ac.jp/en/access/campus/main.htm
     (Next to our CS Lab)
   総合研究2号館 478号室 (CS室のとなりです)
     http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm

Abstract:

Combinatorial enumeration model は, Joyal-Girard による解析関手を用
いたラムダ計算のモデルのことであり, ここではそれを線形論理のモデル
に改変したものを指している. ある意味で数え上げの個数を与えており,
その事実を用いたシンプルな解析を可能にしている。ここでは, linear
category 上に構成された計算体系 LC の Church-Rosser 性の証明に, こ
のモデルを応用する技術を紹介する。


------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/