《Ω-范畴中的若干问题研究》围绕Ω—范畴,结合范畴论与模糊数学的方法,通过对Ω—范畴的笛卡儿闭性、交连续性及完备化等问题进行研究,推广了经典Domain理论中的一些相关结果。此研究不但会丰富和发展Ω—范畴与量化Domain理论,还可为Domain理论的推广提供基础性的方法,也会为计算机程序设计语言指称语义的发展提供坚实的数学基础,同时还可能提出新的问题与研究领域。
阅读更多