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


Anton Setzer