说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 活水;自来水;长流水 RW
1)  running water
活水;自来水;长流水 RW
2)  CD R/RW
CDR/RW
3)  running water
活水;自来水;长流水
4)  Rw/Rt parameter
Rw/Rt参数
5)  RW theory
RW理论
6)  RW-spaces
RW-空间
1.
It is proved in this paper that if L is a bicomplete continuous DCPO, then the Isbell and Scott topologies agree on function spaces [X →L] for all RW-spaces X iff L is an L-Domain with a least element.
本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain。
补充资料:活水
有源头而常流动的水:挖条渠把~引进湖里。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条