56:19Implementing the simply typed lambda calculus in OCaml (as a not mathematician)Eduardo Rafael3.2K viewsView & Download
23:55Backpropagation in the Simply Typed Lambda-calculus with Linear NegationACM SIGPLAN446 viewsView & Download
1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download