慶應義塾
1~7件(全7件)

J. マックレーン(三好博之・高木理訳)『圏論の基礎』

著者名
白旗 優
掲載誌名
誌名数学 出版社日本数学会 巻59(号2) (出版年(月日)2007年)
共著区分
単著
掲載種別
研究論文(学術雑誌)
査読有無
無し

無判例解釈についての覚え書き

著者名
白旗 優
掲載誌名
誌名慶應義塾大学商学部五十周年記念日吉論文集 (出版年(月日)2007年)
共著区分
単著
掲載種別
研究論文(研究会,シンポジウム資料等)
査読有無
無し

The Dialectica interpretation of first-order classical affine logic

著者名
白旗 優
掲載誌名
誌名Theory and Applications of Categories 開始ページ49-79 (出版年(月日)2006年)
共著区分
単著
掲載種別
研究論文(学術雑誌)
査読有無
有り

Geometry of interaction explained

著者名
白旗 優
掲載誌名
誌名数理解析研究所考究録 開始ページ160-187 (出版年(月日)2003年)
共著区分
単著
掲載種別
研究論文(大学,研究機関等紀要)
査読有無
無し

Phase-valued models of linear set theory

著者名
白旗 優
掲載誌名
誌名Proceedings of the 7th and 8th Asian Logic Conferences 開始ページ377-397 (出版年(月日)2003年)
共著区分
単著
掲載種別
研究論文(研究会,シンポジウム資料等)
査読有無
有り

特性配置陳述と個物の問題

著者名
白旗 優
掲載誌名
誌名関西哲学会年報アルケー 巻10(号37) 開始ページ62-75 (出版年(月日)2002年)
共著区分
単著
掲載種別
研究論文(学術雑誌)
査読有無
無し

Notes on the game semantics of Goedel's T

著者名
白旗 優
掲載誌名
誌名数理解析研究所講究録 出版社京都大学数理解析研究所 巻1217(号-) 開始ページ121-142 (出版年(月日)2001年06月)
共著区分
単著
掲載種別
研究論文(大学,研究機関等紀要)
査読有無
無し