Системы типизации лямбда-исчисления. Лекция 3
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
06.03.11
Код для блога:
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Нормальная и аппликативные стратегии редукции. Теорема о нормализации.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20110306_systems_of_typed_lambda_calculi_moskvin_lecture03.pdfДругие лекции курса
7