Partiality and cartesian closedness. typescript (1986)

by P-L Curien, A Obtulowicz