TY  - RPRT
TI  - Computing with Continuous Objects: A Uniform Co-inductive Approach
AU  - Dieter Spreen
PY  - 2021
DO  - 10.1017/s0960129521000116
UR  - https://arxiv.org/abs/2004.05392
ID  - 2004.05392
ER  -