1 paper · 1 filter
Han Xu, Zhenjiang Hu
Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential…