Системы типизации лямбда-исчисления. Лекция 1
Лекция ХитПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
27.03.11
Дата публикации:
01.03.11
Код для блога:
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Теорема о неподвижной точке, Y-комбинатор.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20110227_systems_of_typed_lambda_calculi_moskvin_lecture01.pdfДругие лекции курса
7