CPO に関連する定義まとめ 2019年05月02日に投稿 • カテゴリ:数学 • タグ:Domain Theory、束論、順序理論、表示的意味論、本 某勉強会がコーヒーブレイクタイムに入って,ブレイクタイムから抜けたら何もかも忘れてそうだったので,数式レ … 続きを読む