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 条

[1] Constructive domain theory as a branch of intuitionistic pointfree topology
Sambin, G
Valentini, S
Virgili, P
THEORETICAL COMPUTER SCIENCE, 1996, 159 (02) : 319 - 341
[2] Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory
Bas Spitters
Order, 2010, 27 : 225 - 233
[3] Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory
Spitters, Bas
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2010, 27 (02): : 225 - 233
[4] Ring theory and pointfree topology
Banaschewski, B
TOPOLOGY AND ITS APPLICATIONS, 2004, 137 (1-3) : 21 - 37
[5] SPECIES THEORY AND INTUITIONISTIC TOPOLOGY
SCHULTZ, K
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1967, 13 (04): : 377 - &
[6] SPREAD THEORY AND INTUITIONISTIC TOPOLOGY
SCHULTZ, K
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1967, 13 (03): : 251 - &
[7] Intuitionistic type theory: semantics of proofs and constructive theory
Bourdeau, M
DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 1997, 36 (02) : 323 - 339
[8] Remainders in pointfree topology
Ferreira, Maria Joao
Picado, Jorge
Pinto, Sandra Marques
TOPOLOGY AND ITS APPLICATIONS, 2018, 245 : 21 - 45
[9] OZ IN POINTFREE TOPOLOGY
Banaschewski, Bernhard
Dube, Themba
Gilmour, Christopher
Walters-Wayland, Joanne
QUAESTIONES MATHEMATICAE, 2009, 32 (02) : 215 - 227
[10] RECENT RESULTS IN POINTFREE TOPOLOGY
BANASCHEWSKI, B
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 659 : 29 - 41

← 1 2 3 4 5 →