В лекции рассматриваются основы нетипизированного лямбда-исчисления, порядки редукций и теорема Чёрча-Россера, понятия дна и строгости функции, а также важность отсутствия побочных эффектов (чистоты) для выполнения теоремы Чёрча-Россера.

Текст и домашнее задание: http://tinyurl.com/1-lambda-calculus