dcpo相关论文
本文讨论了那样一些DCPO (即定向完备偏序集)的刻划问题,它们在赋以Scott开滤子拓扑后,其拓扑空间的开集格是连续格.该问题也是由L......
本文利用切割集S在一个σ-域的所有概率函数组成的族P上建立一种偏序≤s，并且证明偏序集（P≤s）是一个方向完备集．此处本文研究了在P上......
