Thomas Ehrhard Laurent Regnier The differential lambda-calculus. 1-41 2003 309 Theor. Comput. Sci. 1-3 http://dx.doi.org/10.1016/S0304-3975(03)00392-X db/journals/tcs/tcs309.html#EhrhardR03