Backpropagation in the Simply Typed Lambda-calculus with Linear Negation

Download (MP3)




Bagikan