有界完全Domain及其相关性质 (2004年)

介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;同时指出它是一个FS-Domain,而FS-Domain及其之间的ScottDS连续映射构成的范畴是笛卡儿闭的,从而有界完全Domain范畴BC-Domain是FS-Domain范畴的笛卡儿闭的满子范畴。