22 citations · 63 across the 24 of their papers we have counts for
1 paper · 2 filters
Sacha Ikonicoff, Jean-Simon Pacaud Lemay
Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the catego…