连续信息基

摘要：

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式--信息系统和邻域系.在型论(typetheory)基础上, G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广.本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性.

关键词：Scott Domain、代数信息基、连续信息基、型论

所属期刊栏目：20

分类号：O189;O153(几何、拓扑)

资助基金：中国科学院资助项目10471035/A010104;山东省国家科学基金2003ZX13

在线出版日期：2006-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：59-63