« Home

Reference. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES [lawvere2006]