Системы типизации лямбда-исчисления. Лекция 3
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
06.03.11
Код для блога:
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Нормальная и аппликативные стратегии редукции. Теорема о нормализации.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
![application/pdf Иконка PDF](/modules/file/icons/application-pdf.png)
Другие лекции курса
7