Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера

Подробности

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

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