Failure of Cartesian closedness in (1992)

by C McLarty
Venue:NF, J. Symbolic Logic