Searching for "The differential lambda-calculus." – sorted by Relevance.
-
The Differential Lambda-Calculus
- The Dierential Lambda-Calculus Thomas Ehrhard and Laurent Regnier Institut de Mathmatiques de
- Cited by 17 (3 self) – Add To MetaCart
-
On Differential Interaction Nets and the Pi-calculus
- linear logic version of the differential lambda-calculus (or, more precisely, of a resource lambda-calculus
- Cited by 1 (0 self) – Add To MetaCart
-
Mathematical models of computational and combinatorial structures. Invited address for Foundations
- of computational calculi (like the lambda calculus, both typed and untyped; the recently introduced differential
- Cited by 7 (2 self) – Add To MetaCart
-
Reverse-Mode AD in a Functional Framework: Lambda the Ultimate Backpropagator
- , like before, our method allows one to take the derivative of any (differentiable) lambda-calculus
- Cited by 1 (1 self) – Add To MetaCart
-
CARTESIAN DIFFERENTIAL CATEGORIES
- this perspective is quite different than the differential lambda-calculus of Ehrhard and Regnier
- Add To MetaCart
-
∂ for Data: Differentiating Data Structures
- lambda calculus, however their motivation is quite different from ours in that they use differentiation
- Cited by 2 (0 self) – Add To MetaCart

