DrRuisseau / tt2018-conspect

Введение в Теории Типов

Конспекты студентов КТ ИТМО по лекциям Штукенберга Д. Г.

Pdf конспекта

По поводу улучшений конспекта писать можно GoPavel или в issue.

Другие источники:

• https://github.com/artemohanjanyan/tt-conspect
• статьи и ссылки в README в репозиториях shd/tt20* (например)