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

Система лямбда-исчисления без типов
Systems of typed lambda calculi

What: Lecture
When: Sunday, 27 February 2011, 11:15–12:50
Where: ПОМИ РАН
Slides: systemsoftypedlambdacalculi_lecture_270211.pdf

Description

Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Теорема о неподвижной точке, Y-комбинатор.

Video