WEKO3
アイテム
An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions
http://hdl.handle.net/2237/22388
http://hdl.handle.net/2237/223884bc4d7f1-92d9-4377-a4c7-a51e5d117445
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
k10946_abstract.pdf (700.8 kB)
|
|
|
|
k10946_review.pdf (563.2 kB)
|
|
|
|
k10946_thesis.pdf (261.4 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-06-09 | |||||
| タイトル | ||||||
| タイトル | An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions | |||||
| 言語 | en | |||||
| その他のタイトル | ||||||
| その他のタイトル | ECCの直観主義的な集合論的モデルの構築について | |||||
| 言語 | ja | |||||
| 著者 |
Sato, Masahiro
× Sato, Masahiro× 佐藤, 雅大 |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
| 資源タイプ | doctoral thesis | |||||
| 書誌情報 |
発行日 2015-03-25 |
|||||
| 学位名 | ||||||
| 言語 | ja | |||||
| 学位名 | 博士(数理学) | |||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 13901 | |||||
| 言語 | ja | |||||
| 学位授与機関名 | 名古屋大学 | |||||
| 言語 | en | |||||
| 学位授与機関名 | Nagoya University | |||||
| 学位授与年度 | ||||||
| 値 | 2014 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2015-03-25 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 甲第10946号 | |||||
| 著者版フラグ | ||||||
| 値 | ETD | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/22388 | |||||
| 識別子タイプ | HDL | |||||
