Metric spaces, generalised logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di (1973)

by F William Lawvere