Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Система лямбда-исчисления без типов
Системы типизации лямбда-исчисления

Что: Лекция
Когда: Воскресенье, 27 февраля 2011, 11:15–12:50
Где: ПОМИ РАН
Слайды: systemsoftypedlambdacalculi_lecture_270211.pdf

Описание

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

Видео