@article{Lawvere_1973,
    doi = {10.1007/bf02924844},
    url = {https://doi.org/10.1007%2Fbf02924844},
    year = {1973},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {43},
    number = {1},
    pages = {135--166},
    author = {F. William Lawvere},
    title = {Metric spaces, generalized logic, and closed categories},
    journal = {Rendiconti del Seminario Matematico e Fisico di Milano}
}

@article{Lawvere_1973, doi = {10.1007/bf02924844}, url = {https://doi.org/10.1007%2Fbf02924844}, year = {1973}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {43}, number = {1}, pages = {135--166}, author = {F. William Lawvere}, title = {Metric spaces, generalized logic, and closed categories}, journal = {Rendiconti del Seminario Matematico e Fisico di Milano} }