作者：苏淑华著
出版社： 武汉大学出版社
CIP号：2019155780
书号：978-7-307-21071-4
出版地：武汉
出版时间：2019.7
定价：￥58.0
本书以Ω—范畴为对象，结合范畴论与模糊数学的方法，研究一些特殊的Ω—范畴，如交连续Ω—范畴、代数Ω—范畴及连续Ω—范畴，并讨论Ω—范畴的完备化等问题。本书的相关内容不仅可以推动该研究领域的发展，也会为程序设计语言指称语义的发展提供坚实的数学基础，可供从事相关研究人员参考。