Backpropagation in the Simply Typed Lambda-calculus with Linear Negation



DOWNLOAD





Bagikan