2024-03-29T09:14:41Z
https://repository.dl.itc.u-tokyo.ac.jp/oai
oai:repository.dl.itc.u-tokyo.ac.jp:00050973
2022-12-19T04:26:47Z
312:391
9:233:280
Meta-continuation Semantics via Meta-lambda Calculus
メタラムダ計算を用いたメタ継続意味論
戸澤, 一成
学位の種別: 課程博士
審査委員会委員 : (主査)東京大学准教授 長谷川 立, 東京大学教授 河東 泰之, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, 東京大学准教授 米田 剛, 筑波大学教授 亀山 幸義
2017-03-23
eng
thesis
https://doi.org/10.15083/00076094
http://hdl.handle.net/2261/00076094
https://repository.dl.itc.u-tokyo.ac.jp/records/50973
10.15083/00076094
12601甲第34002号
博士(数理科学)
2017-03-23
University of Tokyo(東京大学)
https://repository.dl.itc.u-tokyo.ac.jp/record/50973/files/A34002_summary.pdf
application/pdf
107.5 kB
2018-09-06
https://repository.dl.itc.u-tokyo.ac.jp/record/50973/files/A34002_abstract.pdf
application/pdf
160.1 kB
2018-09-06
https://repository.dl.itc.u-tokyo.ac.jp/record/50973/files/A34002_review.pdf
application/pdf
701.8 kB
2018-09-06