Categories of partial maps (1988)

by E Robinson, G Rosolini
Venue:Inform. and Comput