way-up相关论文
首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约......
首先,借助于way-up关系的概念,讨论了way-up关系在偏序集、并连续半格及余dcpo不同背景下的性质;然后,给出了逼近辅关系的定义及其......