给出Z-完备集上的一个扩张定理，证明范畴ZP是一个笛卡儿闭范畴。
In this paper , an extension theorem on Z-complete posets is given , and it is proved that the category of ZP is a Cartesian closed category .
笛卡儿闭Domain范畴的两个重要性质
Two Important Properties of Cartesian Closed Domain Categories
笛卡儿闭范畴