2:12Some points about type checking of simply typed $lambda$-calculus?Roel Van de Paar6 viewsView & Download
23:55Backpropagation in the Simply Typed Lambda-calculus with Linear NegationACM SIGPLAN446 viewsView & Download