《量化Domain理论》较系统地介绍了量化Domain的基本理论，主要是作者20余年研究工作的系统总结，同时也兼顾国际上此领域中的新研究成果。
《量化Domain理论》具体分为两大部分：首部分介绍了Domain理论中20余年发展起来的拓扑空间的偏序集模型、偏序集与To空间中的收敛理论以及To空间上的Domain理论；第二部分较系统地介绍了量化Domain理论的主要分支——格值Domain理论的基本内容以及新研究成果。
《量化Domain理论》可作为格上拓扑学、Domain理论、不确定性的数学理论等基础数学和理论计算机专业的研究生教材，也可供数学与计算机等相关专业的高年级本科生、教师与研究人员阅读参考。

Domain理论由图灵奖得主D.Scott在20世纪60年代末70年代初建立，其基本目的是为C.Strachey的指称语义学提供数学模型，是理论计算机科学的数学基础之一，后经M.Smyth和G.D.Plotkin等人的工作，经过近40年的发展，该理论已与逻辑学、范畴论、拓扑学、格论、Locale理论等众多数学分支发生了密切的关联，序和拓扑的相互结合、相互作用是这一理论的基本特征，正是这一特征使Domain理论自从创立起就成为计算机科学与数学研究者共同感兴趣的领域，也使这一理论具有广泛的应用空间。
Domain理论的提出来源于两个完全不同的背景：一个源于计算机程序设计语言的指称语义学的研究，另一个源于纯数学的研究，在计算机程序设计语言的指称语义学的研究方面，1969年，D.Scott首先发现了连续格，他的主要思想是抽象和公理化计算的基本数学特征，然后发展为一般的数学结构与理论，并为之提供恰当的数学模型。在纯数学的研究方面，大约与D.Scott工作的同一时期，J.D.Lawson研究了一类特殊的紧半格，K.H.Hofmann和A.Stralka为寻求对这类紧半格的纯代数描述，定义了一种具有特殊性质的完备格，但他们很快发现，这种完备格恰好是D.Scott所定义的连续格，从两种不同的背景出发，导致对同一对象的发现，刺激了这一领域的研究。1980年，G.Gierz、K.H.Hofmann、K.Keimel、J.D.Lawson、M.Mislove和D.Scott六位作者共同撰写了关于连续格理论的著名专著《A Compendium of Continuous Lattices》，这是对Domain理论前期形式的连续格理论工作的系统总结。2003年，这本书又被修订，出版了专著《Continuous Lattices and Domains》，再版中