Reference. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES [lawvere2006]

2006 · F. William Lawvere · http://tac.mta.ca/tac/reprints/articles/15/tr15.pdf