Shirahata Masaru

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

慶應義塾大学商学部五十周年記念日吉論文集 2007

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

数学 59(2) 2007

The Dialectica interpretation of first-order classical affine logic 

Theory and Applications of Categories 17 49-79 2006  Peer-reviewed

Phase-valued models of linear set theory 

Proceedings of the 7th and 8th Asian Logic Conferences 377-397 2003  Peer-reviewed

Geometry of interaction explained 

数理解析研究所考究録 (1318) 160-187 2003

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

関西哲学会年報アルケー 10(37) 62-75 2002