三田論理学セミナー

日時: 2005年11月7日 16:00〜18:30

場所: 慶応義塾大学 21世紀COE人文科学研究拠点 三田東宝ビル8階会議室
(JR田町駅、都営地下鉄三田駅、赤羽橋駅から徒歩5分)

講演者: Patrick Baillot (CNRS, University of Paris-Nord)

タイトル: Verification of Ptime reducibility for system F lambda-terms via Linear logic

講演者: Claudia Faggian (University of Padova, University of Paris 7)

タイトル: Ludics nets, a game model of concurrent interaction












問合せ先: 慶應義塾大学 文学部 岡田 光弘
住所:東京都港区三田 3-1-7 三田東宝ビル 8F
e-mail:philosophy at abelard.flet.keio.ac.jp



平成18年3月13日