1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Aymeric Walch
Coherent differentiation was introduced by Ehrhard in order to generalize differential categories to a setting in which the sum is only partially defined, in order to account for t…