Тезисы доклада

"Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений".