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
![Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018 — OPLSS — simply typed lambda calculus YouTube to MP3 & MP4 download on TubeGalore](/api/image/amsnnASxceU/mqdefault)
