Differential categories (2006)

by R. F. Blute, J. R. B. Cockett, R. A. G. Seely
Venue:CATEGORIES OF PARTIAL MAPS, THEORET. COMPUT. SCI