CPO に関連する定義まとめ

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

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

続きを読む