TY - RPRT TI - The Distance Function on a Computable Graph AU - Wesley Calvert AU - Russell Miller AU - Jennifer Chubb Reimann PY - 2011 UR - https://arxiv.org/abs/1111.2480 ID - 1111.2480 ER -