A foundational theory of contexts in functional programming Language 関数型プログラミング言語における文脈の基礎理論
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
A foundational theory of contexts in functional programming Language
- タイトル別名
-
関数型プログラミング言語における文脈の基礎理論
- 著者名
-
Azza Abdel Rahman Taha Abdel Halim
- 著者別名
-
アッザ アブデル ラーマン タハ アブデル ハリム
- 学位授与大学
-
京都大学
- 取得学位
-
博士 (情報学)
- 学位授与番号
-
甲第9218号
- 学位授与年月日
-
2001-11-26
注記・抄録
博士論文
