1. 首页
  2. 编程语言
  3. 其他
  4. Continuous $Omega$domains based on Cauchy ideals

Continuous $Omega$domains based on Cauchy ideals

上传者: 2020-05-13 04:20:15上传 PDF文件 193.28KB 热度 25次
基于柯西理想意义下的连续$Omega$-domains,赖洪亮,,$Omega$-范畴为研究量化domain理论提供了一个很好的基本框架.本文在假设完备剩余格$(Omega,*)$的承载格$Omega$本身还是一个连续格的条件下,
用户评论