Lambda Calculus Courses
NDC Conferences via YouTube Dependency Injection Revisited
NDC Conferences via YouTube Live Lambda Calculus
NDC Conferences via YouTube Functional Programming Essentials
Scala Days Conferences via YouTube Mary Had a Little Lambda
EuroPython Conference via YouTube Trees for Logic and Parsing in C++
CppNow via YouTube Thinking Outside the Synchronisation Quadrant
code::dive conference via YouTube An Alien Lambda Calculus - Exploring Alternative Computational Models
GOTO Conferences via YouTube Formalization of Nominal Equational Reasoning in PVS - Nominal Unification
Hausdorff Center for Mathematics via YouTube Translating HOL-Light Proofs to Coq
Hausdorff Center for Mathematics via YouTube