论文部分内容阅读
D．Scott在20世纪60年代引入了domain理论，并给出了两种等价形式——信息系统和邻域系。在型论（typetheory）基础上，G．Sambin提出了形式拓扑（Formal topology）理论，并证明了一元形式拓扑与代数Scottdomain等价，从而推出代数信息基的概念，同时作为信息系统与邻域系的推广。本文从信息基的观点出发，提出了连续信息基的概念，证明了它与连续Scott domain的等价性。