Barendregt H., Barendsen E. Introduction to Lambda Calculus (Введение в лямбда-исчисление)

Перевод с английского. — Кембридж, 1997. — 170 с. Это конспект лекций по курсу "Введение в функциональное программирование", который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году. Введение. Лямбда-исчисление. Лямбда-исчисление как язык программирования. Типы. Знакомство с ML. Более подробно о ML. Доказательство корректности программ. Эффективный...