再帰データ領域 Ｄ∞モデル Export

@misc{citeulike:2829772, abstract = {前章までラムダ言語の構文的側面と実行の機構(変換規則)を議論したが，ラムダに数学的な意味論を定義しようとすると，自らの上の関数空間と同型な領域の構築が必要になる．ここでは，そのような領域D∞モデルを構成し，D∞上ラムダ式の行動を調べることにより，変換規則など離散的な構造では理解できないコンピュテーションの数学的な構造を明らかにする．プログラミング言語の表示的意味論への入門である．}, citeulike-article-id = {2829772}, citeulike-linkout-0 = {http://www.kurims.kyoto-u.ac.jp/~cs/csnyumon/appendix_B.pdf}, keywords = {denotational-semantics, domain-theory, lambda-calculus}, posted-at = {2008-05-25 12:52:38}, priority = {0}, title = {再帰データ領域 Ｄ∞モデル}, url = {http://www.kurims.kyoto-u.ac.jp/~cs/csnyumon/appendix_B.pdf} }

TY - GEN ID - citeulike:2829772 L3 - citeulike-article-id:2829772 N2 - 前章までラムダ言語の構文的側面と実行の機構(変換規則)を議論したが，ラムダに数学的な意味論を定義しようとすると，自らの上の関数空間と同型な領域の構築が必要になる．ここでは，そのような領域D∞モデルを構成し，D∞上ラムダ式の行動を調べることにより，変換規則など離散的な構造では理解できないコンピュテーションの数学的な構造を明らかにする．プログラミング言語の表示的意味論への入門である． TI - 再帰データ領域 Ｄ∞モデル KW - denotational-semantics KW - domain-theory KW - lambda-calculus UR - http://www.kurims.kyoto-u.ac.jp/~cs/csnyumon/appendix_B.pdf ER -