The differential lambda-calculus (0)

by T Ehrhard, L Regnier
Venue:Theoretical Computer Science