CPO に関連する定義まとめ

2019年05月02日に投稿 • カテゴリ：数学 • タグ：Domain Theory、束論、順序理論、表示的意味論、本

某勉強会がコーヒーブレイクタイムに入って，ブレイクタイムから抜けたら何もかも忘れてそうだったので，数式レ …

続きを読む