Чистое лямбда-исчисление как язык программирования

Пятница, 10 февраля 2017
Таймс

Приложенные файлы

Описание

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