Metric spaces, generalised logic, and closed categories (1973)

by F W Lawvere
Venue:In Reprints in Theory and Applications of Categories