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

genTabToSubsts. Построение sGenUp и sGenDn. Обобщение рестрикций. Условие rGen. Функции mkRestr, genRestr, genConf

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