SAKAI Masahiro - 表示的意味論 Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

= 表示的意味論

シンタックスを数学的な要素に写像することにより意味を定める。
写像先の集合を領域(domain)と呼ぶ。

== 領域理論 (Domain theroy)

* ((<Plotkinのノート|URL:ftp://theory.lcs.mit.edu/pub/papers/Plotkin/>))
* ((<再帰データ領域 D∞モデル|URL:http://www.kurims.kyoto-u.ac.jp/~cs/csnyumon/>))

== メモ

* ((<CPO>))の((<圏>))では始代数のキャリアと終余代数のキャリアが一致する?