Martínez-Rivillas, Daniel, AND Queiroz, Ruy. " Towards a Homotopy Domain Theory" Proceedings of the Theory of Computation Meeting (ETC) [Online], (18 July 2021)