Введение в Теории Типов
Конспекты студентов КТ ИТМО по лекциям Штукенберга Д. Г.
По поводу улучшений конспекта писать можно GoPavel или в issue.
Другие источники:
- https://github.com/artemohanjanyan/tt-conspect
- статьи и ссылки в README в репозиториях shd/tt20* (например)