形式语义学的稳定论域理论

形式语义学的稳定论域理论
7030112644
陈仪香著
国家自然科学基金研究专著. 数理科学系列
TP301.2
科学出版社
2003-06
2003
2003
本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。