Вы здесь

Системы типизации лямбда-исчисления. Лекция 6

Лекция
Предмет:
Дата записи:
01.03.11
Дата публикации:
13.03.11
Код для блога:

Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная нормализация. Интерпретации →-типов. Расширение системы константами. δ-редукция.

Страница лекции на сайте Computer Science клуба

Дополнительные материалы: 
Иконка PDF 20110313_systems_of_typed_lambda_calculi_moskvin_lecture06.pdf