30:02UCL PPLV Research Seminar Part Two: 'Types & Type-free Lambda Calculus', Dana ScottUCLComputerScience305 viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.8K viewsView & Download
58:15Lecture 1 - Introduction to Lambda Calculus and its SyntaxAmir Goharshady238 viewsView & Download
41:33A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part IIGabriel Lebec63.9K viewsView & Download
1:00:23Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017LambdaConf1.4K viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
11:21How Can One Greek Letter Help Us Understand Language? Lambda CalculusThe Ling Space18.6K viewsView & Download
32:11Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018LambdaConf407 viewsView & Download
1:43:22Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.The New York City Category Theory Seminar871 viewsView & Download