Presentations
Shirahata, Masaru
1-4 items (total 4)
No-counterexample Interpretations of Logic and the Geometry of Interaction
- Speaker
- SHIRAHATA MASARU
- Conference Title
- [Conference Category International presentation] Dates 2009.08.27 - 2009.08.27
- Organizer
- 京都大学数理解析研究所
- Presentation Format
- International presentation
- Language of Publication
- English
- Conference Category
- Oral presentation (general)
述語線形論理の圏論的モデル
- Speaker
- SHIRAHATA MASARU
- Conference Title
- [Conference Category Domestic presentation] Dates 2009.06.14 - 2009.06.14
- Presentation Format
- Domestic presentation
- Language of Publication
- Japanese
- Conference Category
- Oral presentation (general)
Notes on the game semantics of Goedel's T
- Speaker
- SHIRAHATA MASARU
- Conference Title
- [Conference Category International presentation] Conference Title Logic Colloquium 2001（Venue Wien） Organizer European Association of Symbolic Logic Dates 2001.08 - 2001.08
- Organizer
- European Association of Symbolic Logic
- Presentation Format
- International presentation
- Language of Publication
- English
- Conference Category
- Oral presentation (general)
線形論理とゲーム意味論
- Speaker
- SHIRAHATA MASARU
- Conference Title
- [Conference Category Domestic presentation] Dates 2001.03 - 2001.03
- Presentation Format
- Domestic presentation
- Language of Publication
- Japanese
- Conference Category
- Oral presentation (general)