WEKO3
アイテム
Abstracting Control with Dependent Types
http://hdl.handle.net/10083/00063391
http://hdl.handle.net/10083/00063391f4217767-3fb4-43f9-bff8-247c7d6fe05d
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-05-21 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Abstracting Control with Dependent Types | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | delimited continuations | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | dependent types | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
叢, 悠悠
× 叢, 悠悠 |
|||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文・平成31年3月22日授与(甲第309号) | |||||
書誌情報 |
発行日 2019-03-22 |
|||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
著者版フラグ | ||||||
値 | ETD | |||||
出版者 | ||||||
出版者 | お茶の水女子大学 | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位論文 | |||||
資源タイプ・ローカル | ||||||
学位論文 | ||||||
資源タイプ・NII | ||||||
Thesis or Dissertation | ||||||
資源タイプ・DCMI | ||||||
text | ||||||
資源タイプ・ローカル表示コード | ||||||
02 | ||||||
関係URI | ||||||
関連名称 | http://hdl.handle.net/10083/00063390 | |||||
学位名 | ||||||
学位名 | 博士(理学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12611 | |||||
学位授与機関名 | お茶の水女子大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2019-03-22 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第000309号 | |||||
コメント | ||||||
理学専攻 |