TY  - RPRT
TI  - Approaching metric domains
AU  - Gonçalo Gutierres
AU  - Dirk Hofmann
PY  - 2011
UR  - https://arxiv.org/abs/1103.4744
ID  - 1103.4744
ER  -