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 条

[41] Deriving Dualities in Pointfree Topology from Priestley Duality
G. Bezhanishvili
S. Melzer
Applied Categorical Structures, 2023, 31
[42] A pointfree theory of Pervin spaces
Borlido, Celia
Suarez, Anna Laura
QUAESTIONES MATHEMATICAE, 2023, 46 (11) : 2287 - 2326
[43] Remarks Concerning Certain Function Rings in Pointfree Topology
B. Banaschewski
Applied Categorical Structures, 2018, 26 : 873 - 881
[44] Remarks Concerning Certain Function Rings in Pointfree Topology
Banaschewski, B.
APPLIED CATEGORICAL STRUCTURES, 2018, 26 (05) : 873 - 881
[45] The Stone–Čech Compactification and the Cozero Lattice in Pointfree Topology
B. Banaschewski
Applied Categorical Structures, 2007, 15 : 473 - 479
[46] The Stone–Čech Compactification and the Cozero Lattice in Pointfree Topology
B. Banaschewski
Applied Categorical Structures, 2007, 15 (5-6) : 481 - 482
[47] On the Dini and Stone-Weierstrass properties in pointfree topology
Holgate, David
Masuret, Jacques
Sioen, Mark
TOPOLOGY AND ITS APPLICATIONS, 2016, 200 : 160 - 175
[48] Deriving Dualities in Pointfree Topology from Priestley Duality
Bezhanishvili, G.
Melzer, S.
APPLIED CATEGORICAL STRUCTURES, 2023, 31 (05)
[49] l-Ring aspects of compactification in pointfree topology
Banaschewski, Bernhard
Sioen, Mark
TOPOLOGY AND ITS APPLICATIONS, 2014, 173 : 209 - 218
[50] Type-theoretic interpretation of constructive domain theory
Univ of Goteborg, Goteborg, Sweden
J Autom Reasoning, 3 (369-425):

← 1 2 3 4 5 →