D．Scott在20世纪60年代引入了domain理论，并给出了两种等价形式——信息系统和邻域系。在型论（typetheory）基础上，G．Sambin提出了形式拓......