CPO に関連する定義まとめ

Posted on 水 01 5月 2019 in 数学 • Tagged with Domain Theory, 束論, 順序理論, 表示的意味論,

某勉強会がコーヒーブレイクタイムに入って,ブレイクタイムから抜けたら何もかも忘れてそうだったので,数式レンダリングのテストも兼ねて CPO 関連の定義だけまとめておくことにした.

なお各定義は, SoPL (Semantics of Programming Languages) に則ってる.

Complete Partial Order

まあ,まずはおなじみのやつから.

定義. 半順序 (partially ordered set, poset, partial order …

Continue reading