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