慶應義塾大学 · 商学部 / 商学研究科

研究キーワード線形論理・アフィン論理・Dialectica解釈・相互作用の幾何学・集合論モデル

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 無判例解釈についての覚え書き2007 · 慶應義塾大学商学部五十周年記念日吉論文集 2007年
• J. マックレーン(三好博之・高木理訳)『圏論の基礎』2007 · 数学
• The Dialectica interpretation of first-order classical affine logic2006 · Theory and Applications of Categories 17
• Geometry of interaction explained2003 · 数理解析研究所考究録

• 公式プロフィール