Лекция 14: Введение в л-исчисление
defaultValue- Подробности
- Категория: Функциональное программирование от НОУ ИНТУИТ
Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выражений. Редукция. Бетта-редукция и замена переменной.
