序列拟连续domain的广义有界理想

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：domain理论是计算机程序语言的理论基础，为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象，对一般的拟连续domain进行了推广，定义了序列拟连续domain、序列拟基及其广义有界理想，并证明了序列拟基可以嵌入到其广义有界理想中。同时，本文指出广义有界理想的集合是序列拟连续domain。（剩余7275字）

试读结束

目录
monitor