領域理論
domain theory
領域
を扱う
数学
の分野
表示的意味論
を構築するために用いられる
完備束
cpo
スコット連続
部分関数の半順序集合
参考
/mrsekut-book-4320026578/070 (第3章 領域理論の基礎)
https://ja.wikipedia.org/wiki/領域理論
http://ziphil.com/diary/mathematics/33.html
Domain Theory Corrected and expanded version
Handbook of Logic in Computer Science: Volume 3
ここ
で見た