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