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