A foundational theory of contexts in functional programming Language
Kyoto University (京都大学) === 0048 === 新制・課程博士 === 博士(情報学) === 甲第9218号 === 情博第46号 === 新制||情||11(附属図書館) === UT51-2001-R767 === 京都大学大学院情報学研究科知能情報学専攻 === (主査)教授 佐藤 雅彦, 教授 小林 茂夫, 教授 奥乃 博 === 学位規則第4条第1項該当...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
京都大学 (Kyoto University)
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/2433/150224 |
id |
ndltd-kyoto-u.ac.jp-oai-repository.kulib.kyoto-u.ac.jp-2433-150224 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-kyoto-u.ac.jp-oai-repository.kulib.kyoto-u.ac.jp-2433-1502242017-10-07T03:52:13Z A foundational theory of contexts in functional programming Language 関数型プログラミング言語における文脈の基礎理論 カンスウガタ プログラミング ゲンゴ ニ オケル ブンミャク ノ キソ リロン Azza Abdel Rahman Taha Abdel Halim 佐藤, 雅彦 小林, 茂夫 奥乃, 博 アッザ アブデル ラーマン タハ アブデルハリム 007 Kyoto University (京都大学) 0048 新制・課程博士 博士(情報学) 甲第9218号 情博第46号 新制||情||11(附属図書館) UT51-2001-R767 京都大学大学院情報学研究科知能情報学専攻 (主査)教授 佐藤 雅彦, 教授 小林 茂夫, 教授 奥乃 博 学位規則第4条第1項該当 2011-11-18T07:06:43Z 2011-11-18T07:06:43Z 2001-11-26 2001-11-26 DAM Thesis or Dissertation http://hdl.handle.net/2433/150224 000000414152 eng application/pdf 京都大学 (Kyoto University) 京都大学 |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
007 |
spellingShingle |
007 Azza Abdel Rahman Taha Abdel Halim A foundational theory of contexts in functional programming Language |
description |
Kyoto University (京都大学) === 0048 === 新制・課程博士 === 博士(情報学) === 甲第9218号 === 情博第46号 === 新制||情||11(附属図書館) === UT51-2001-R767 === 京都大学大学院情報学研究科知能情報学専攻 === (主査)教授 佐藤 雅彦, 教授 小林 茂夫, 教授 奥乃 博 === 学位規則第4条第1項該当 |
author2 |
佐藤, 雅彦 |
author_facet |
佐藤, 雅彦 Azza Abdel Rahman Taha Abdel Halim |
author |
Azza Abdel Rahman Taha Abdel Halim |
author_sort |
Azza Abdel Rahman Taha Abdel Halim |
title |
A foundational theory of contexts in functional programming Language |
title_short |
A foundational theory of contexts in functional programming Language |
title_full |
A foundational theory of contexts in functional programming Language |
title_fullStr |
A foundational theory of contexts in functional programming Language |
title_full_unstemmed |
A foundational theory of contexts in functional programming Language |
title_sort |
foundational theory of contexts in functional programming language |
publisher |
京都大学 (Kyoto University) |
publishDate |
2011 |
url |
http://hdl.handle.net/2433/150224 |
work_keys_str_mv |
AT azzaabdelrahmantahaabdelhalim afoundationaltheoryofcontextsinfunctionalprogramminglanguage AT azzaabdelrahmantahaabdelhalim guānshùxíngpuroguraminguyányǔniokeruwénmàinojīchǔlǐlùn AT azzaabdelrahmantahaabdelhalim kansuugatapuroguramingugengoniokerubunmyakunokisoriron AT azzaabdelrahmantahaabdelhalim foundationaltheoryofcontextsinfunctionalprogramminglanguage |
_version_ |
1718550384974233600 |