TY  - RPRT
TI  - Towards a Homotopy Domain Theory
AU  - Daniel O. Martínez-Rivillas
AU  - Ruy J. G. B. de Queiroz
PY  - 2022
UR  - https://arxiv.org/abs/2007.15082
ID  - 2007.15082
ER  -