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