Lecture 1: Foundations of Lambda Calculus
28:48
Lecture 1: Foundations of Lambda Calculus
395 views4 months ago
YouTubeIIT Roorkee July 2018
Lecture 15 - System T and Curry-Howard
58:03
Lecture 15 - System T and Curry-Howard
24 views5 months ago
YouTubeAmir Goharshady
Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
1:22:45
Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
2.8K viewsJul 31, 2018
YouTubeOPLSS
HoTT Lecture 1: Dependent types and dependent functions -- HoTTEST Summer School 2022
1:31:09
Find in video from 20:56Simply-typed lambda calculus
HoTT Lecture 1: Dependent types and dependent functions -- HoTTE…
37.5K viewsJul 4, 2022
YouTubeHoTTEST
CS Y2S2 CMPLC Kuppi - Computational Modelling - Lambda Calculus
55:39
CS Y2S2 CMPLC Kuppi - Computational Modelling - Lambda Calculus
292 views3 months ago
YouTubeReid_21
Lecture 1 - Introduction to Lambda Calculus and its Syntax
58:15
Lecture 1 - Introduction to Lambda Calculus and its Syntax
1 views5 months ago
YouTubeAmir Goharshady
Lecture 9 - Undecidability, Halting, Rice and Scott-Curry
59:26
Lecture 9 - Undecidability, Halting, Rice and Scott-Curry
14 views5 months ago
YouTubeAmir Goharshady
49:00
Lecture 12 - Simple Types and Weak Normalisation
15 views5 months ago
YouTubeAmir Goharshady
27:43
The Lambda Calculus: Foundations and Applications #1325
25 viewsMay 23, 2025
YouTubestay curious radio
21:48
Programming with Math | The Lambda Calculus
413.7K viewsJun 14, 2024
YouTubeEyesomorphic
59:04
Lecture 4 - Church-Rosser Reductions
25 views5 months ago
YouTubeAmir Goharshady
24:42
Lecture 2: Syntax of Lambda Calculus
177 views4 months ago
YouTubeIIT Roorkee July 2018
53:58
Lecture 5 - Uniqueness of Normal Forms
14 views5 months ago
YouTubeAmir Goharshady
46:39
Deep JavaScript Foundations: Lambda Calculus and Closures
40 views6 months ago
YouTubeEulier Gonzalez
57:54
Lecture 8 - Solvability, Definability and Church-Kleene
17 views5 months ago
YouTubeAmir Goharshady
1:00:31
Find in video from 00:14Data Types in the Simply Typed Lambda Calculus
Lecture 4: Data Types and Recursion
1.2K viewsOct 9, 2020
YouTubeNeelakantan Krishnaswami
29:10
What are dependent types? aka the Calculus of Construction (as a type wizard)
5.7K viewsFeb 8, 2023
YouTubeEduardo Rafael
1:17:12
Lecture 12. Lambdas: Functor, Closures and Type Erasure (MIPT, 2025-2026).
993 views6 months ago
YouTubeKonstantin Vladimirov
See more
Static thumbnail place holder