Чистое лямбда-исчисление как язык программирования

Лямбда-исчисление как язык программирования. Булевы значения, пары. Каррирование функций. Числа Чёрча, простейшие операции над ними.