Jun, 2001
Notes on the game semantics of Goedel's T
RIMS Kokyu-roku
- ,
- Volume
- 1217
- Number
- -
- First page
- 121-142
- Last page
- Language
- English
- Publishing type
- Research paper (bulletin of university, research institution)
- Publisher
- 京都大学数理解析研究所
We apply PCF's game semantics to Goedel's system T