Lecture notes for Cambridge Lectures

Lecture notes will accumulate here as the course proceeds.

• Notes from Categorical Logic, CMU 2024.
• Slides from HoTT Seminar, CMU 2023: Kripke models of lambda-calculus.
• Cambridge Lecture Notes: Introduction
• Cambridge Lecture Notes: Part I
• Slides: Lecture I.A