Введение в теорию программирования. Функциональный подход

         

Введение в теорию программирования. Функциональный подход

Абстрактные машины и категориальная комбинаторная логика
Содержание раздела