Статья
Альфа, бета и эта: три преобразования, из которых всё состоит
Разбираем три правила переписывания лямбда-исчисления — переименование, вызов и упрощение — с полной пошаговой раскруткой редукций и рабочим редуктором на Python и …