-
1
-
2
Semi-metrics, closure spaces and digital topology
Veröffentlicht in Theoretical computer science
VolltextArtikel -
3
Power domains and predicate transformers: A topological view
Veröffentlicht in Automata, Languages and Programming
VolltextArtikel -
4
The Category-Theoretic Solution of Recursive Domain Equations
Veröffentlicht in SIAM journal on computing
VolltextArtikel -
5
-
6
Stable Compactification I
Veröffentlicht in Journal of the London Mathematical Society
VolltextArtikel -
7
Completeness of Quasi-Uniform and Syntopological Spaces
Veröffentlicht in Journal of the London Mathematical Society
VolltextArtikel -
8
-
9
-
10
-
11
Involution as a basis for propositional calculi
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
12
-
13
A diagrammatic treatment of syllogistic
Veröffentlicht in Notre Dame journal of formal logic
VolltextArtikel -
14
-
15
The largest cartesian closed category of domains
Veröffentlicht in Theoretical computer science
VolltextArtikel -
16
I-Categories as a framework for solving domain equations
Veröffentlicht in Theoretical computer science
VolltextArtikel -
17
The constructive maximal point space and partial metrizability
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
18
Lines as Topological Graphs
Veröffentlicht in Annals of the New York Academy of Sciences
VolltextArtikel -
19
-
20