Constructive domain theory as a branch of intuitionistic pointfree topology

被引：0
|
作者：
Universita di Padova, Padova, Italy [1 ]
机构：
来源：
Theor Comput Sci | / 2卷 / 319-341期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] E-Compactness in Pointfree Topology
    Nizar Marcus
    Applied Categorical Structures, 2003, 11 : 125 - 133
  • [22] MORE ON UNIFORM PARACOMPACTNESS IN POINTFREE TOPOLOGY
    Dube, Themba
    Naidoo, Inderasan
    MATHEMATICA SLOVACA, 2015, 65 (02) : 273 - 288
  • [23] On Point-finiteness in Pointfree Topology
    Maria João Ferreira
    Jorge Picado
    Applied Categorical Structures, 2007, 15 : 185 - 198
  • [24] Remote points and the like in pointfree topology
    T. Dube
    Acta Mathematica Hungarica, 2009, 123 : 203 - 222
  • [25] The Axiom of Countable Choice and Pointfree Topology
    Bernhard Banaschewski
    Applied Categorical Structures, 2001, 9 : 245 - 258
  • [26] Rings of real functions in pointfree topology
    Gutierrez Garcia, Javier
    Picado, Jorge
    TOPOLOGY AND ITS APPLICATIONS, 2011, 158 (17) : 2264 - 2278
  • [27] On the Function Ring Functor in Pointfree Topology
    Bernhard Banaschewski
    Applied Categorical Structures, 2005, 13 : 305 - 328
  • [28] Extended real functions in pointfree topology
    Banaschewski, Bernhard
    Gutierrez Garcia, Javier
    Picado, Jorge
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2012, 216 (04) : 905 - 922
  • [29] E-compactness in pointfree topology
    Marcus, N
    APPLIED CATEGORICAL STRUCTURES, 2003, 11 (02) : 125 - 133
  • [30] On point-finiteness in pointfree topology
    Ferreira, Maria Joao
    Picado, Jorge
    APPLIED CATEGORICAL STRUCTURES, 2007, 15 (1-2) : 185 - 198
12345