Publications EPSRC Grant EP/G033374/1: Theory and Applications of Induction Recursion