日時： 2005年4月26日（火） PM:5:15〜
場所：
慶應義塾大学 三田キャンパス 南校舎 411教室
(JR田町駅、都営地下鉄三田駅、赤羽橋駅から徒歩5分)
Place:
Keio University, Keio University, Mita-Campus (downtown Tokyo,
5 minutes walk from JR-Tamachi St or Subway-Mita St),
Room 411 of the South building
講演者：
Jean-Pierre Jouannaud (Laboratoire d'Infomatique, École Polytechnique)
タイトル：
``Higher-order rewriting with types and arities''
アブストラクト：
This work revisits Nipkow's approach to HOR, based on higher-order pattern matching, and generalises to rules of higher-order type. The main result here is decidability of confluence assuming termination.
問合せ先：
慶應義塾大学 21世紀COE人文科学研究拠点
「心の統合的研究」センター ワークショップ事務局
住所: 東京都港区三田3-1-7 三田東宝ビル8F
電話: 代表 03-5427-1156 (内線 23864)
e-mail： philosophy at abelard.flet.keio.ac.jp