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