Products and projective limits of continuous valuations on T <sub>0</sub> spaces.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 2, p. 234, doi. 10.1017/S0960129521000141
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 2
Results: 4
1
2
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 2, p. 214, doi. 10.1017/S096012952100013X
- By:
- Publication type:
- Article
3
Strictifying and taming directed paths in Higher Dimensional Automata.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 2, p. 193, doi. 10.1017/S0960129521000128
- By:
- Publication type:
- Article
4
Computing with continuous objects: a uniform co-inductive approach.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 2, p. 144, doi. 10.1017/S0960129521000116
- By:
- Publication type:
- Article