The differential λ-calculus (2003)

by T Ehrhard, L Regnier
Venue:Theoretical Computer Science