白旗 優

No-counterexample Interpretations of Logic and the Geometry of Interaction 

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

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

科学基礎論学会 2009年6月14日 

Notes on the game semantics of Goedel's T 

Logic Colloquium 2001 2001年8月 European Association of Symbolic Logic 

線形論理とゲーム意味論 

日本数学会春季大会 2001年3月