Restriction categories I: categories of partial maps (0)

by Robin Cockett, Stephen Lack
Venue:Theoretical Computer Science