Martínez-Rivillas, D., & Queiroz, R. (2021). Towards a Homotopy Domain Theory. In Proceedings of the 6th Theory of Computation Meeting, (pp. 102-105). Porto Alegre: SBC. doi:10.5753/etc.2021.16391