generated at
領域理論
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
ここで見た