In this paper, we gave various properties of bounded complete domain. And we proved, with Scott continuous functions as morphisms, the category of bounded complete domain is Cartesian closed;

 
  • 介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;
今日热词
目录 附录 查词历史