| What: | Lecture |
| When: | Sunday, 27 February 2011, 11:15–12:50 |
| Where: | ПОМИ РАН |
| Slides: | systemsoftypedlambdacalculi_lecture_270211.pdf |
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Теорема о неподвижной точке, Y-комбинатор.
