研究発表
白旗 優
1~4件（全4件）
No-counterexample Interpretations of Logic and the Geometry of Interaction
- 講演者
- 白旗 優
- 会議名
- [会議区分国際会議] 会議名合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」（開催場所関西セミナーハウス） 主催者京都大学数理解析研究所 開催年月日2009.08.27 - 2009.08.27
- 主催
- 京都大学数理解析研究所
- 発表形態
- 国際会議
- 記述原語
- 英語
- 会議種別
- 口頭発表（一般）
述語線形論理の圏論的モデル
- 講演者
- 白旗 優
- 会議名
- [会議区分国内会議] 会議名科学基礎論学会（開催場所大阪市立大学） 開催年月日2009.06.14 - 2009.06.14
- 発表形態
- 国内会議
- 記述原語
- 日本語
- 会議種別
- 口頭発表（一般）
Notes on the game semantics of Goedel's T
- 講演者
- 白旗 優
- 会議名
- [会議区分国際会議] 開催年月日2001.08 - 2001.08
- 主催
- European Association of Symbolic Logic
- 発表形態
- 国際会議
- 記述原語
- 英語
- 会議種別
- 口頭発表（一般）
線形論理とゲーム意味論
- 講演者
- 白旗 優
- 会議名
- [会議区分国内会議] 会議名日本数学会春季大会（開催場所慶應義塾大学） 開催年月日2001.03 - 2001.03
- 発表形態
- 国内会議
- 記述原語
- 日本語
- 会議種別
- 口頭発表（一般）