Backpropagation in the Simply Typed Lambda-calculus with Linear Negation

1 code implementation • 27 Sep 2019 • Alois Brunel, Damiano Mazza, Michele Pagani

Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs.

Negation