摘要:在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论:相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等.
张滦云. 相容双有限Domain的几个性质[J]. journal6, 2006, 27(4): 20-21.
ZHANG Luan-Yun. Some Properties of Consistently Bifinite Domains[J]. journal6, 2006, 27(4): 20-21.