@misc{indiciaecb9dd55a0b99,
  title = {Towards a Homotopy Domain Theory},
  author = {Daniel O. Martínez-Rivillas and Ruy J. G. B. de Queiroz},
  year = {2022},
  url = {https://arxiv.org/abs/2007.15082},
  note = {Source identifier: 2007.15082}
}