Системы типизации лямбда-исчисления. Лекция 2
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
27.03.11
Дата публикации:
01.03.11
Код для блога:
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и вычислимость по Тьюрингу. Неразрешимость бестипового λ-исчисления.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20110227_systems_of_typed_lambda_calculi_moskvin_lecture02.pdfДругие лекции курса
7