Meta-continuation semantics via meta-lambda calculus メタラムダ計算を用いたメタ継続意味論
この論文にアクセスする
著者
書誌事項
- タイトル
-
Meta-continuation semantics via meta-lambda calculus
- タイトル別名
-
メタラムダ計算を用いたメタ継続意味論
- 著者名
-
戸澤, 一成
- 学位授与大学
-
東京大学
- 取得学位
-
博士(数理科学)
- 学位授与番号
-
甲第34002号
- 学位授与年月日
-
2017-03-23
注記・抄録
収集根拠 : 博士論文（送信）
資料形態 : テキストデータ
コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
学位の種別: 課程博士
審査委員会委員 : （主査）東京大学准教授 長谷川 立, 東京大学教授 河東 泰之, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, 東京大学准教授 米田 剛, 筑波大学教授 亀山 幸義
