Type Introduction for Runtime Complexity Analysis
Proceedings of the 14th Workshop on Termination, 2014.
Abstract
In this abstract we show that type introduction is a persistent property of term rewrite systems wrt. runtime complexity analysis.