ダウンロード数: 381

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
D_Nakazawa_Koji.pdfDissertation_全文9.01 MBAdobe PDF見る/開く
yrigk02568.pdfAbstract_要旨223.17 kBAdobe PDF見る/開く
タイトル: Confluency and Strong Normalizability of Call-by-Valueλμ-Calculus
その他のタイトル: 値呼びλμ計算の合流性と強正規化性
著者: Nakazawa, Koji
著者名の別形: 中澤, 巧爾
発行日: 25-Nov-2002
出版者: 京都大学 (Kyoto University)
学位授与大学: 京都大学
学位の種類: 新制・課程博士
取得分野: 博士(理学)
報告番号: 甲第9826号
学位記番号: 理博第2568号
学位授与年月日: 2002-11-25
請求記号: 新制||理||1314(附属図書館)
研究科・専攻: 京都大学大学院理学研究科数学・数理解析専攻
論文調査委員: (主査)教授 河野 明, 教授 上野 健爾, 助教授 櫻川 貴司
学位授与の要件: 学位規則第4条第1項該当
DOI: 10.14989/doctor.k9826
URI: http://hdl.handle.net/2433/86474
出現コレクション:050 博士(理学)

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。