1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
1:38:37Foundations of Programming Languages: Linear Lambda-Calculus - Paul Downen - OPLSS 2018OPLSS895 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
1:03:30Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018OPLSS1.2K viewsView & Download
25:181 04 A Lambda Calculus Foundation for Universal Probabilistic ProgrammingICFP Video557 viewsView & Download
26:41[POPL'26] Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic(…)ACM SIGPLAN41 viewsView & Download
![[OOPSLA23] A Gradual Probabilistic Lambda Calculus — ACM SIGPLAN — oopsla23 a gradual probabilistic lambda calculus YouTube to MP3 & MP4 download on TubeGalore](/api/image/nC80QLVFi-A/mqdefault)
![Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018 — OPLSS — oopsla23 a gradual probabilistic lambda calculus YouTube to MP3 & MP4 download on TubeGalore](/api/image/amsnnASxceU/mqdefault)
![[OOPSLA'25] Opportunistically Parallel Lambda Calculus — ACM SIGPLAN — oopsla23 a gradual probabilistic lambda calculus YouTube to MP3 & MP4 download on TubeGalore](/api/image/SnFU-cC1CRw/mqdefault)
![[POPL'26] Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic(…) — ACM SIGPLAN — oopsla23 a gradual probabilistic lambda calculus YouTube to MP3 & MP4 download on TubeGalore](/api/image/JVGS_nBa5Q4/mqdefault)
