We prove an in nitary version of the Double Recursion Theorem of Smullyan. We give some applications which show how this form of the Recursion Theo- rem can be naturally applied to obtain interesting in nite sequences ...