Recursion across Domains