学位論文 Theory and application of a meta lambda calculus with cross-level computation

飛澤, 和則

2015-09-04
内容記述
学位の種別: 課程博士
審査委員会委員 : (主査)東京大学准教授 長谷川 立, 東京大学教授 坪井 俊, 東京大学教授 吉田 朋広, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, お茶の水女子大学准教授 浅井 健一
本文を読む

https://repository.dl.itc.u-tokyo.ac.jp/?action=repository_action_common_download&item_id=47820&item_no=1&attribute_id=14&file_no=1

https://repository.dl.itc.u-tokyo.ac.jp/?action=repository_action_common_download&item_id=47820&item_no=1&attribute_id=14&file_no=2

https://repository.dl.itc.u-tokyo.ac.jp/?action=repository_action_common_download&item_id=47820&item_no=1&attribute_id=14&file_no=3

このアイテムのアクセス数:  回

その他の情報