Метавычисления и их приложения: Суперкомпиляция и нестандартные семантики

isEqCUpCGen, mkSubstUpDn. Поправка Юрия Климова. Функции genRestr, mkRestr

Показывать лекцию целиком
Вернуться к учебному плану