连续L-domain相关论文
本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义......
函数空间是Domain理论中的基本结构,讨论在函数空间上Isbell拓扑和Scott拓扑何时一致问题是研究函数空间拓扑结构的重要方面。刘应......
给出代数L-domain和强core紧空间以及连续L-domain和core紧空间的刻画....