*** b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.*** l给出了ω-代数cpo和SFP dom a in的刻划.而***通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP ...
详细信息
*** b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.*** l给出了ω-代数cpo和SFP dom a in的刻划.而***通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.
暂无评论