The Lambda Calculus Part 1 3 The Polymorphic Lambda Calculus

In this

The basis of almost all functional programming, Professor Graham Hutton explains

The Lambda Calculus

In this last

Advait Shinde discusses the history of the theory of computation, delving into axiomatic thinking, Peano axioms, Turing Machines, ...

The syntax of

In this video, we will talk about alpha equivalence, alpha conversion, and beta reduction, three fundamental techniques used to ...

In the simply typed

slides: https://github.com/lambdaconf/lambdaconf-2018/tree/master/LC18-slides/LambdaCalculusWithScott%26Siek ...

Supplementary material to https://github.com/alexhkurz/programming-languages-2020 Read ...

CONTENT This video is

Intro to

First lecture on

Oregon Programming Languages Summer School Parallelism and Concurrency July

Description: The formal systems that are nowadays called