23:55Backpropagation in the Simply Typed Lambda-calculus with Linear NegationACM SIGPLAN446 viewsView & Download
51:25CS3100 POP - Lec 17 - Lambda Calculus Encoding + Simply Typed Lambda CalculusKC Sivaramakrishnan74 viewsView & Download
56:29Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018LambdaConf1.0K viewsView & Download
28:23The Lambda Calculus, part 1 3 The polymorphic lambda calculusHans Hüttel1.5K viewsView & Download
1:43:22Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.The New York City Category Theory Seminar871 viewsView & Download