The differential λ-calculus (0)

by Thomas Ehrhard, Laurent Regnier
Venue:Theoretical Computer Science