ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 121 数理科学研究科
  2. 12120 博士論文(数理科学専攻)
  1. 0 資料タイプ別
  2. 20 学位論文
  3. 021 博士論文

Meta-continuation Semantics via Meta-lambda Calculus

https://doi.org/10.15083/00076094
https://doi.org/10.15083/00076094
90475974-de88-4f29-b172-bce41493a5ec
名前 / ファイル ライセンス アクション
A34002_summary.pdf A34002_summary.pdf (107.5 kB)
A34002_abstract.pdf A34002_abstract.pdf (160.1 kB)
A34002_review.pdf A34002_review.pdf (701.8 kB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2018-09-06
タイトル
タイトル Meta-continuation Semantics via Meta-lambda Calculus
言語
言語 eng
資源タイプ
資源 http://purl.org/coar/resource_type/c_46ec
タイプ thesis
ID登録
ID登録 10.15083/00076094
ID登録タイプ JaLC
その他のタイトル
その他のタイトル メタラムダ計算を用いたメタ継続意味論
著者 戸澤, 一成

× 戸澤, 一成

WEKO 151761

戸澤, 一成

Search repository
著者別名
識別子Scheme WEKO
識別子 151762
姓名 Tozawa, Kazunari
著者所属
著者所属 数理科学研究科数理科学専攻
内容記述
内容記述タイプ Other
内容記述 学位の種別: 課程博士
内容記述
内容記述タイプ Other
内容記述 審査委員会委員 : (主査)東京大学准教授 長谷川 立, 東京大学教授 河東 泰之, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, 東京大学准教授 米田 剛, 筑波大学教授 亀山 幸義
書誌情報 発行日 2017-03-23
著者版フラグ
値 none
学位名
学位名 博士(数理科学)
学位
値 doctoral
学位授与機関
学位授与機関名 University of Tokyo(東京大学)
研究科・専攻
Department of Mathematical Sciences, Graduate School of Mathematical Sciences (数理科学研究科数理科学専攻)
学位授与年月日
学位授与年月日 2017-03-23
学位授与番号
学位授与番号 12601甲第34002号
学位記番号
博数理第498号
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:50:32.437685
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3