Лекция 14: Введение в л-исчисление

Подробности

Категория: Функциональное программирование от НОУ ИНТУИТ

Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выражений. Редукция. Бетта-редукция и замена переменной.