Jean-Pierre Jouannaud教授講演会

日時: 2005年4月26日(火) PM:5:15〜

場所: 慶應義塾大学 三田キャンパス 南校舎 411教室

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