WEKO3
アイテム
Abstracting Control with Dependent Types［学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨］
http://hdl.handle.net/10083/00063390
http://hdl.handle.net/10083/000633906a553be8-4704-4c16-9892-621cf59f3c6e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
学位論文審査の要旨 (140.1 kB)
|
|
|
|
学位論文内容の要旨 (113.5 kB)
|
|
|
|
日本語要旨 (96.9 kB)
|
|
|
|
外国語要旨 (34.9 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2019-05-21 | |||||
| タイトル | ||||||
| タイトル | Abstracting Control with Dependent Types［学位論文内容の要旨/学位論文審査の要旨/日本語要旨/外国語要旨］ | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | delimited continuations | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | dependent types | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_db06 | |||||
| タイプ | doctoral thesis | |||||
| 著者 |
叢, 悠悠
× 叢, 悠悠 |
|||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成31年3月22日授与(甲第309号)<br/>※本文ウェブ公開（関係URI参照） | |||||
| 書誌情報 |
発行日 2019-03-22 |
|||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| 出版者 | ||||||
| 出版者 | お茶の水女子大学 | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 学位論文 | |||||
| 資源タイプ・ローカル | ||||||
| 学位論文 | ||||||
| 資源タイプ・NII | ||||||
| Thesis or Dissertation | ||||||
| 資源タイプ・DCMI | ||||||
| text | ||||||
| 資源タイプ・ローカル表示コード | ||||||
| 02 | ||||||
| 関係URI | ||||||
| 関連名称 | http://hdl.handle.net/10083/00063391 | |||||
| 学位名 | ||||||
| 学位名 | 博士（理学） | |||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 12611 | |||||
| 学位授与機関名 | お茶の水女子大学 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2019-03-22 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 甲第000309号 | |||||
| コメント | ||||||
| 理学専攻 | ||||||
