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.