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

Другие лекции курса
7