The Differential Lambda-Calculus (2003)

by Thomas Ehrhard , Laurent Regnier
Venue:Theoretical Computer Science
Citations:69 - 10 self