22:55Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational ReasoningACM SIGPLAN280 viewsView & Download
1:43:22Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.The New York City Category Theory Seminar870 viewsView & Download
33:34The Lambda Calculus, part 1 4 Type inference in the polymorphic lambda calculusHans Hüttel1.5K viewsView & Download
43:06Type Inference & Unification - Isaac Elliot - BFPG 2019-03Brisbane Functional Programming Group4.3K viewsView & Download
41:11Lecture on ML Type Inference: No.4 Freely Generated Set, Implicitly Typed Lambda Calculus大堀淳の計算機科学チャネル103 viewsView & Download
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions19.9K viewsView & Download
23:55Backpropagation in the Simply Typed Lambda-calculus with Linear NegationACM SIGPLAN446 viewsView & Download
49:07Polymorphism on the typed lambda calculus (as a bad chess player)Eduardo Rafael2.3K viewsView & Download