Diagonal arguments and cartesian closed categories

• 1 January 1969
• book chapter
• Published by Springer Nature
• p. 134-145
• https://doi.org/10.1007/bfb0080769

Abstract