Lecture 6 Simply Typed Lambda Calculus

We present a Church-style (bound variables are tagged with a type in the lambda terms)

This video (

In the

Presenter: Damiano Mazza Presented at POPL'20.

Simply-Typed Lambda Calculus, part 1: Types

This video (4): After discussing polymorphism in the previous two videos, we return to the

The

Rules for the

Simply-Typed Lambda Calculus, part 3: Curry-Howard

Simply-Typed Lambda Calculus in Lean

Recorded

CONTENT This video is part of the playlist "

Simply-Typed Lambda Calculus, part 2: Terms

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

On Decidable and Undecidable Extensions of

The

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

If you find our videos helpful you can support us by buying something from amazon. https://www.amazon.com/?tag=wiki-audio-20 ...

CONTENT This video is part of the playlist "

The