Введение в теорию программирования. Функциональный подход
14
Абстрактные машины и категориальная комбинаторная логика
Абстрактные машины и категориальная комбинаторная логика - часть 2
Содержание