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

       

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

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