Martínez-Rivillas, D., & 		Queiroz, R.
2021 Jul 18.  Towards a Homotopy Domain Theory. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :