Shirahata Masaru

No-counterexample Interpretations of Logic and the Geometry of Interaction 

合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」 8 27, 2009 京都大学数理解析研究所 

述語線形論理の圏論的モデル 

科学基礎論学会 6 14, 2009 

Notes on the game semantics of Goedel's T 

Logic Colloquium 2001 8 2001 European Association of Symbolic Logic 

線形論理とゲーム意味論 

日本数学会春季大会 3 2001