20 citations · 38 across the 8 of their papers we have counts for
1 paper · 2 filters
Oleksandr Manzyuk
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differenti…