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

         

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

Теория типов и комбинаторная логика
Содержание раздела