Diagonal Arguments and Cartesian Closed Categories (1969)

by F W Lawvere
Venue:In Lecture Notes in Mathematics No. 92