The differential lambda-calculus (2003)

by T Ehrhard, L Regnier
Venue:Theor. Comput. Sci