Advances in Programming Languages 2018/19 Lecture 2: Terms and Types
This lecture introduces the first technical topic for the course of
types in programming languages: some of the ways they are used and their relation to the mathematical models of lambda-calculus and type theory.
Link: Web page for this lecture