@misc{indiciae31fc5a243aec,
  title = {Computing with Continuous Objects: A Uniform Co-inductive Approach},
  author = {Dieter Spreen},
  year = {2021},
  doi = {10.1017/s0960129521000116},
  url = {https://arxiv.org/abs/2004.05392},
  note = {Source identifier: 2004.05392}
}