Системы типизации лямбда-исчисления. Лекция 6
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
13.03.11
Код для блога:
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная нормализация. Интерпретации →-типов. Расширение системы константами. δ-редукция.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20110313_systems_of_typed_lambda_calculi_moskvin_lecture06.pdfДругие лекции курса
7