Published papers
Shirahata, Masaru
1-7 items (total 7)
J. マックレーン(三好博之・高木理訳)『圏論の基礎』
- Author
- SHIRAHATA MASARU
- Publication Title
- Volume 59(Issue 2) (Publication Date）2007）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
無判例解釈についての覚え書き
- Author
- SHIRAHATA MASARU
- Publication Title
- (Publication Date）2007）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
The Dialectica interpretation of first-order classical affine logic
- Author
- SHIRAHATA MASARU
- Publication Title
- Magazine name Theory and Applications of Categories Start Page 49-79 (Publication Date）2006）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Geometry of interaction explained
- Author
- SHIRAHATA MASARU
- Publication Title
- Start Page 160-187 (Publication Date）2003）
- Authorship Category
- Single Work
- Publication Category
- Research paper (bulletin of university, research institution)
- Peer-review Status
- Without
Phase-valued models of linear set theory
- Author
- SHIRAHATA MASARU
- Publication Title
- Magazine name Proceedings of the 7th and 8th Asian Logic Conferences Start Page 377-397 (Publication Date）2003）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- With
特性配置陳述と個物の問題
- Author
- SHIRAHATA MASARU
- Publication Title
- Volume 10(Issue 37) Start Page 62-75 (Publication Date）2002）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
Notes on the game semantics of Goedel's T
- Author
- SHIRAHATA MASARU
- Publication Title
- Magazine name RIMS Kokyu-roku Volume 1217(Issue -) Start Page 121-142 (Publication Date）2001/06）
- Authorship Category
- Single Work
- Publication Category
- Research paper (bulletin of university, research institution)
- Peer-review Status
- Without