Вступительная лекция

Классификация языков программирования

Концепция и возможности подхода .NET

Функциональный подход к программированию

Ламбда-исчисление как формализация языка функционального программирования

Комбинаторная логика как формальная система

Теория типов и комбинаторная логика

Синтаксис языков программирования

Семантика языков программирования

Рекурсивные функции и множества

Абстрактные машины и категориальная комбинаторная логика

Категориальная абстрактная машина

Оптимизация вычислений и абстрактные машины