Системы функционального программирования. Основы лямбда-исчисления

Пятница, 23 марта 2012

ФМЛ 239, Актовый зал

Слайды с лекции

func_prog_lecture_230312.pptx

Описание

Другие стили функционального программирования: ЛИСП.
Другие стили функционального программирования: FP.
Основы λ-исчисления. λ-выражения и редукции. Нормальная форма.
Проблема конфликта имен и СЗНФ.