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