Keio University · Faculty of Commerce / Graduate School of Commerce

Research keywords線形論理・アフィン論理・Dialectica解釈・相互作用の幾何学・集合論モデル

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

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

• Official profile