Lambda Calculus Courses
Hausdorff Center for Mathematics via YouTube Structural Rules and Algebraic Properties of Intersection Types
Hausdorff Center for Mathematics via YouTube An Introduction to Differential Linear Logic
Centre International de Rencontres Mathématiques via YouTube Differential Categories
Centre International de Rencontres Mathématiques via YouTube Weighted Relational Models
Centre International de Rencontres Mathématiques via YouTube Böhm Trees and Taylor Expansion
Centre International de Rencontres Mathématiques via YouTube La-La-Lambda Calculus: A Functional Musical Journey
Confreaks via YouTube Uncomputable Functions - Exploring the Limits of Computation
Code Sync via YouTube Lambda Calculus Beep Boop - A Humane Representation of Lambda Calculus Terms
Code Sync via YouTube Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers
ACM SIGPLAN via YouTube