1:08:24Lambda Calculus vs. Turing Machines (Theory of Computation)Advait Shinde26.8K viewsView & Download
6:58Lambda Calculus #10 - Type Systems - Theoretical Computer ScienceThe Morpheus Tutorials3.3K viewsView & Download
1:19:47Jeffery Olson, "System R—A Practical Lambda Calculus Made for Extensibility in Rust"Houston FPUG219 viewsView & Download