@article{lawvere-1973-metric,
title = {Metric spaces, generalized logic, and closed categories},
volume = {43},
ISSN = {0370-7377},
url = {http://dx.doi.org/10.1007/BF02924844},
DOI = {10.1007/bf02924844},
number = {1},
journal = {Rendiconti del Seminario Matematico e Fisico di Milano},
publisher = {Springer Science and Business Media LLC},
author = {Lawvere, F. William},
year = {1973},
month = {Dec},
pages = {135–166}
}