The Differential Lambda-Calculus (2001)

by Thomas Ehrhard, Laurent Regnier
Venue:Theoretical Computer Science