2 citations · 4 across the 9 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…