Lecture notes for Type Theory

Lecture notes will accumulate here as the course proceeds.

• Here is a draft of the notes from Categorical Logic 2024.
• typetheory1.pdf
• typetheory2a.pdf