タイプ理論の起源と発展
HANDLE
オープンアクセス
書誌事項
- タイトル別名
-
- Type Theory : its Origin and Development
この論文をさがす
収録刊行物
-
- 哲学論叢
-
哲学論叢 38 (別冊), S49-S60, 2011
京都大学哲学論叢刊行会
- Tweet
詳細情報
-
- CRID
- 1050845760653774080
-
- NII論文ID
- 120003551161
-
- NII書誌ID
- AN00005497
-
- ISSN
- 0914143X
-
- HANDLE
- 2433/151121
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- CiNii Articles
- KAKEN