1:12:14May 2019 Seajure- Lambda calculus-based proof systems in Clojure with LaTTeAmperity121 viewsView & Download
1:12:14May 2019 Seajure: Lambda calculus-based proof systems in Clojure with LaTTeAmperity578 viewsView & Download
26:49Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's ThesisAndrew Giraffe24.9K viewsView & Download
41:55Live-Coding Mathematics Your First Clojure Proof - Frederic PeschanskiClojureTV5.4K viewsView & Download
1:39:54re:Clojure 2021 workshop: A Data Science Walkthrough with Daniel SlutskyLondon Clojurians763 viewsView & Download
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019PyCon 201951.0K viewsView & Download
1:03:30Viktor Kunčak - Keynote: Proving Algebraic Laws in Scala using Stainless - Lambda Days 2020Code Sync630 viewsView & Download
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy222.8K viewsView & Download