検索内容:
最近の研究は、ドメイン理論における計算を単純化する代数的部分順序集合の新しい構造的性質を明らかにした。
代数的部分順序集合の任意の元は、それより下にあるコンパクトな元の上限(最小上界)として表すことができます。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★