@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00050973,
 author = {戸澤, 一成},
 month = {Mar},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学准教授 長谷川 立, 東京大学教授 河東 泰之, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, 東京大学准教授 米田 剛, 筑波大学教授 亀山 幸義},
 title = {Meta-continuation Semantics via Meta-lambda Calculus},
 year = {2017}
}