Restriction categories II: partial map classification, Theoretical Computer Science 294 (2003)

by J Cockett, S Lack