Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 IR Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)

著者
白旗 優
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
no.1217, pp.121-142, 2001-06

言及状況

はてなブックマーク (1 users, 1 posts)

収集済み URL リスト