Lecture 1: Review of Type Safety Proofs
Channel: Neelakantan Krishnaswami
Date: 2021-10-07

In this lecture, we review how type safety proofs can be factored into progress and preservation lemmas. This material is largely a review of 1B Semantics.