Metric spaces, generalized logic, and closed categories (1974)

by F W Lawvere
Venue:Rend. Sem. Mat. Fis. Milano