講演・口頭発表等

国際会議
2009年8月27日

No-counterexample Interpretations of Logic and the Geometry of Interaction

合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」
  • 白旗 優

記述言語
英語
会議種別
口頭発表(一般)
主催者
京都大学数理解析研究所
開催地
関西セミナーハウス