Type Theory : its Origin and Development
HANDLE
Open Access
Bibliographic Information
- Other Title
-
- タイプ理論の起源と発展
Search this article
Journal
-
- 哲学論叢
-
哲学論叢 38 (別冊), S49-S60, 2011
京都大学哲学論叢刊行会
- Tweet
Details 詳細情報について
-
- CRID
- 1050845760653774080
-
- NII Article ID
- 120003551161
-
- NII Book ID
- AN00005497
-
- ISSN
- 0914143X
-
- HANDLE
- 2433/151121
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- CiNii Articles
- KAKEN