TY  - RPRT
TI  - Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
AU  - Alois Brunel
AU  - Damiano Mazza
AU  - Michele Pagani
PY  - 2019
DO  - 10.1145/3371132
UR  - https://arxiv.org/abs/1909.13768
ID  - 1909.13768
ER  -