Restriction categories i: Categories of partial maps (0)

by Robin Cockett, Stepen Lack
Venue:Theoretical Computer Science