CPO に関連する定義まとめ
Posted on 水 01 5月 2019 in 数学 • Tagged with Domain Theory, 束論, 順序理論, 表示的意味論, 本
某勉強会がコーヒーブレイクタイムに入って，ブレイクタイムから抜けたら何もかも忘れてそうだったので，数式レンダリングのテストも兼ねて CPO 関連の定義だけまとめておくことにした．
なお各定義は， SoPL (Semantics of Programming Languages) に則ってる．
Continue reading