The Simply Typed Lambda Calculus (2.1)
Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.See more
HoTT Lecture 1: Dependent types and dependent functions -- HoTTEST Summer School 2022See more
CS3100 POP - Lec 17 - Lambda Calculus Encoding + Simply Typed Lambda CalculusSee more
CS3100 POP - Lec 17 - Lambda Calculus Encoding + Simply Typed Lambda CalculusSee more
Properties of the Simply Typed Lambda Calculus (2.2)See more
Lecture 2: The Curry-Howard CorrespondenceSee more
Simply-Typed Lambda Calculus, part 1: TypesSee more
Simply typed lambda calculus demoSee more
CS3100 POP - Lec 19 - Simply Typed Lambda CalculusSee more
Simply-Typed Lambda Calculus, part 2: TermsSee more
Foundations of Programming Languages - Reducibility - STλC - Paul Downen - OPLSS 2018See more
Simply-Typed Lambda Calculus, part 1: TypesSee more
Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018See more
![Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018](https://img.youtube.com/vi/amsnnASxceU/0.jpg)
Foundations of Programming Languages: Polymorphic Lambda-Calculus [2/2] - Paul Downen - OPLSS 2018See more
![Foundations of Programming Languages: Polymorphic Lambda-Calculus [2/2] - Paul Downen - OPLSS 2018](https://img.youtube.com/vi/hpParnOeC08/0.jpg)
COMP7010 Week 12 Part 1 Simply Typed Lambda CalculusSee more
Simply-Typed Lambda Calculus, part 2: TermsSee more
David Ripley – Core Type TheorySee more
Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017See more
3. Simply typed lambdaSee more
