3 ms·Backpropagation in the Simply Typed Lambda-Calculus with Linear Negation3 points by headalgorithm 7y ago