Searching for "The differential lambda-calculus." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
