Typed λ-calculi and their Extensions
Kyoto University (京都大学) === 0048 === 新制・論文博士 === 博士(情報学) === 乙第10962号 === 論情博第32号 === 新制||情||14(附属図書館) === UT51-2002-G536 === (主査)教授 佐藤 雅彦, 教授 奥乃 博, 教授 湯淺 太一 === 学位規則第4条第2項該当
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
京都大学 (Kyoto University)
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/149753 |