"Backpropagation in the simply typed lambda-calculus with linear negation."

Aloïs Brunel, Damiano Mazza, Michele Pagani (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics