TY -的A2 -杨,Changsen盟——元,Jibo PY Yayan AU - Li - 2014 DA - 2014/05/14 TI -域SP - 850298六世- 2014 AB -我们引入一个新的建设 F 年代 + 域和证明的类别 F 年代 + 域对象和斯科特连续函数如射是笛卡尔封闭的类别。我们获得普罗金powerdomain P P ( l ) 在一个 F 年代 域 l 是一个 F 年代 + 域。SN - 1085 - 3375你2014/850298 / 10.1155——https://doi.org/10.1155/2014/850298——摩根富林明-抽象和应用分析PB - Hindawi出版公司KW - ER