Что: Лекция
Когда: Пятница, 21 февраля 2014, 18:30–19:50
Где: ФМЛ 239, Актовый зал
Слайды: func_prog_lecture_210214.pdf

Описание

Теорема о неподвижной точке, Y-комбинатор. Редексы. Одношаговая и многошаговая редукция. Нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Cтратегии редукции. Теорема о нормализации. Механизмы вызова в функциональных языках.

Материалы