1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
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…