cartesian closedness and toposes (1989)

by P-L Curien, A Obtulowitz, Partiality
Venue:Information and Computation