Seely Cartesian differential categories, (in preparation (2006)

by R F Blute, J R B Cockett, R A G