City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Программирование в лямбда-исчислении и лямбда-определимость
Systems of typed lambda calculi

What: Lecture
When: Sunday, 27 February 2011, 13:00–14:35
Where: ПОМИ РАН
Slides: systemsoftypedlambdacalculi_lecture_270211.pdf

Description

\( \lambda \)-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и вычислимость по Тьюрингу. Неразрешимость бестипового \( \lambda \)-исчисления.

Video