余定向系统论文

连续子domain的内蕴定义及其应用
论文摘要本文给出了一个只需要连续domain本身性质的子domain的内蕴定义,并证明它与传统的用连续映射定义的子domain的等价性。同时讨论了在此定义下子domain的代数...