Differential categories (2006)

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