Paper
Computing with continuous objects: a uniform co-inductive approach
-
- Published online by Cambridge University Press:
- 19 August 2021, pp. 144-192
-
- Article
-
- You have access
- Open access
- Export citation
Strictifying and taming directed paths in Higher Dimensional Automata
-
- Published online by Cambridge University Press:
- 15 September 2021, pp. 193-213
-
- Article
- Export citation
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
-
- Published online by Cambridge University Press:
- 13 August 2021, pp. 214-233
-
- Article
-
- You have access
- Open access
- Export citation
Products and projective limits of continuous valuations on T0 spaces
-
- Published online by Cambridge University Press:
- 14 July 2021, pp. 234-254
-
- Article
- Export citation