1988] "Categories of partial maps (0)

by E Robinson, P Rosolini
Venue:Info&Co