Wb-sober spaces and the core-coherence of dcpo models.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 6, p. 1, doi. 10.1017/S0960129524000306
- Publication type:
- Article
Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 6
Results: 4
1
2
The complexity of completions in partial combinatory algebra.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 6, p. 1, doi. 10.1017/S0960129524000252
- Publication type:
- Article
3
T0-spaces and the lower topology.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 6, p. 1, doi. 10.1017/S0960129524000240
- Publication type:
- Article
4
Countability constraints in order-theoretic approaches to computability.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 6, p. 1, doi. 10.1017/S0960129524000173
- Publication type:
- Article