期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

函数空间连续性的一个注记 被引量：2

A Note on the Continuity of Function Space
下载PDF
导出
摘要 证明了当X是稳定空间 ,M是一个特定的既不是L domain也不是B domian的DCPO时 ,[X→M]是连续DCPO . It is proved that is a continuous DCPO for each stable space X and M is a particular DCPO which is not a L-domain or a B-domain.
作者 索剑峰 梁基华
机构地区 四川大学数学学院
出处 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第4期724-727,共4页 Journal of Sichuan University(Natural Science Edition)
基金 国家自然科学基金 (10 3310 10 ) 教育部博士点基金 (2 0 0 2 0 6 10 0 5 7)
关键词 稳定空间 函数空间 DOMAIN stable space function space Domain
分类号 O189.11 [理学—基础数学]
  • 相关文献

参考文献7

  • 1[1]Liu Y M, Liang J H. Solutions to two problems of J. D. Lawson and M. Mislove[J]. Topology and Its Application, 1996,69:153 - 164.
  • 2[2]Liang J H, Keimel K. Compact continuous L-domain[J]. Computer and Mathemaics Application, 1999, 38:81 - 89.
  • 3[3]Jung A. Cartesian closed categories of domain[M]. UK:CWI Tracts, 1988.
  • 4[4]Erker T, Escardo M H, Keimel K. The way-below relation of function spaces over semantic domains[J]. Topology and Its Application, 1998, 89:61 - 74.
  • 5[5]Gierz G. A compendium of continuouw lattices[M]. Berlin:Springer-Verlag, 1980.
  • 6[6]Abramsky S, Jung A. Domain theory, in:S. Abramsky, D.M. GabbayandT. S.E. Maibaum, eds, handbookof logic in computer science (Vol Ⅲ ) [ M]. Oxford: Oxford University Press, 1994.
  • 7[7]Kou H, Luo M K. RW-spaces and compactness of function spaces for L-domains[J]. Topology and Its Application, 2003,129: 211 - 220.

同被引文献17

  • 1Mislove M. Topology, domain theory and theoretical computer science[J]. Topology andlts Applications, 1998, 89: 3.
  • 2Abramsky S, Jung A. Domain theory [C]//Abram- sky S, Gabbay M, Maibaum E. Handbook of Logi- cln Computer Science. Oxford: Clarendon Press, 1994.
  • 3Sierz GHKLM, Hofmann K H, Keimel K, et al. Continuous lattices and domains [M]. Cambridge: Cambridge University Press, 2003.
  • 4Jung A. Cartesian closed categories of domains [M]. Amsterdam, CWI Tracts, 1989.
  • 5Lane S M. Categories for the working mathematician [M]. New York/Berlin: Springer-Verlag, 1971.
  • 6Abramsky S,Jung A.Domain Theory[M].Handbook of Logic in Computer Science.Oxford:Oxford University Press,1994.
  • 7Amadio R M,Curien P L.Domains and LambdaCalculi[M].Cambridge:Cambride University Press,1998.
  • 8Gierz G,et al.Continuous Lattices and Domains[M].Cambridge:Combridge University Press,2003.
  • 9Jones C,Plotkin G.A probabilistic powerdomain of evaluations[C]// Proceedings of the Fourth Annual Symposium on Logic in Computer Science.USA:IEEE Computer Society Press,1989.
  • 10Keimel K.Topological cone:functional analysis in T0-setting[J].Semigroup Forum,2008,77:109.

引证文献2

二级引证文献2

四川大学学报（自然科学版）
2004年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部