A stable universal domain related to T<sup>ω</sup>.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 540, doi. 10.1017/S0960129515000195
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2017 AND VI 27 AND IP 4
Results: 8
1
2
A completion-invariant extension of the concept of meet continuous lattices.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 530, doi. 10.1017/S0960129515000213
- By:
- Publication type:
- Article
3
Lattice-valued Scott topology on dcpos.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 516, doi. 10.1017/S0960129515000201
- By:
- Publication type:
- Article
4
Well-filtered spaces and their dcpo models.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 507, doi. 10.1017/S0960129515000171
- By:
- Publication type:
- Article
5
Characterising E-projectives via Comonads.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 491, doi. 10.1017/S0960129515000183
- By:
- Publication type:
- Article
6
Representation of algebraic domains by formal association rule systems.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 470, doi. 10.1017/S0960129515000237
- By:
- Publication type:
- Article
7
On conditions for semirings to induce compact information algebras.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 4, p. 460, doi. 10.1017/S0960129515000225
- By:
- Publication type:
- Article
8
Preface.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding