Практика 2
Пятница, 21 февраля 2014
ФМЛ 239, Актовый зал
Числа Чёрча: предшествование, вычитание. Примитивная рекурсия. Списки. Комбинаторы неподвижной точки Карри и Тьюринга.