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