Pierre-Louis Curien Adam Obtulowicz Partiality, Cartesian closedness and Toposes 50-95 Inf. Comput. January 1989 80 1 db/journals/iandc/iandc80.html#CurienO89