Backpropagation in the Simply Typed Lambda-calculus with Linear Negation

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 computatio…