破壊的等価解消が超位置付け計算の完全性に与える影響

破壊的等価解消を標準的な抽象的冗長性概念に単純に追加すると、計算が完全性を失うことが示されている。一方で、いくつかの制限された超位置付け計算の変種は、破壊的等価解消を含んでも完全性を保つことが示されている。