Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
defaultValue- Подробности
- Категория: Функциональное программирование от НОУ ИНТУИТ
Нормальный и аппликативный порядок редукции. Ленивые и энергичные вычисления. Механизмы вызова и проблема разделения. Теорема Чёрча-Россера и теорема стандартизации. Экстенсиональность. Слабая заголовочная нормальная форма.
