Лекторы — к.ф.-м.н. А. Е. Ромащенко и Д. В. Мусатов.
Дополнительные задачи по курсу
Литература по лямбда-исчислению (на английском языке)
Achim Jung — A short introduction to the Lambda Calculus (89 KB)
Henk Barendregt, Erik Barendsen — Introduction to Lambda Calculus (305 KB)
Lawrence Paulson — Foundations of Functional Programming (3 437 KB)