Каковы необходимые требования для построения категориальной комбинаторной логики?
(Отметьте один правильный вариант ответа.)
Варианты ответа
формализация семантики языка программирования
декартово замкнутые категории и формализация семантики языка программирования(Верный ответ)
декартово замкнутые категории