1:43:22Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.The New York City Category Theory Seminar870 viewsView & Download
53:08Vlad Patryshev - Explaining Lambda Calculus through Plain JavaScript // Carolina Code Conf 2024Carolina Code Conference137 viewsView & Download
15:04PPL1.1-Lambda Calculus | Introduction | principle of programming language | Lambda Calculus ExampleMohit Kadwal10.2K viewsView & Download
12:38[OOPSLA'25] Compiling Classical Sequent Calculus to Stock Hardware: The Duality of CompilationACM SIGPLAN100 viewsView & Download
1:18:26[Haskell'25] A Tale of Two Lambdas: A Haskeller's Journey into OCamlACM SIGPLAN800 viewsView & Download
19:19Systematic Integration finally revealed to the human race for the first time ever.New Calculus279 viewsView & Download