С курсом по ТК есть такая проблема (главная, мне кажется). Нет внятной книги по теме CT in TCS («теоркат в информатике»). Я знаю пару книг с названиями (сейчас глянул в папочке: 10 файлов, но тем не менее), претендующими на это (Пирса, Барра-Уэлша и т. п.), но они не выдерживают никакой критики (основная проблема: есть CT, нет TCS).

То есть качественный и доступный учебник для студентов по CT, может, и есть (хотя функторы на 150 странице у Авуди это как-то грустно), а вот по CT in TCS…