In this paper we obtain that the category of consistent L-domains and Scott continuous functions is cartesian closed.

 
  • 考察相容L-domain范疇,得出了以Scott連續映射為態(tài)射的相容L-domain范疇是cartesian閉范疇的結論。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan