29 citations · 81 across the 22 of their papers we have counts for
1 paper · 2 filters
Thomas Ehrhard
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as…