Partiality, cartesian closedness and toposes (1989)

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