Restriction categories I: Categories of partial maps (2001)

by Stephen Lack
Venue:Theoretical Computer Science