关于概率幂domain的一个注记 (2012年)

【文件属性】：
文件名称：关于概率幂domain的一个注记 (2012年)
文件大小：212KB
文件格式：PDF
更新时间：2021-06-05 15:43:54
自然科学 论文 概率幕domain 是 domain理论中一类非常重要的幕domain. 1989年,Jones 和 Plot-kin证明了连续domain的概率幂domain连续．本文证明了若D是拟连续domain或SL-do-main,则D的概率幕domain连续当且仅当D连续．