Metric spaces, generalised logic, and closed categories. In Rendiconti del Seminario Matematico e Fisico di Milano, volume 43. Tipografia Fusi (1973)

by Bill Lawvere