This paper extends Curry-Howard interpretations of Intuitionistic Logic and Intuitionistic Linear Logic rules for recursion. The resulting term languages, the λrec-calculus and the linear λrec-calculus respectively, are given sound categorical interpretations. The embedding of proofs of Intuitionistic Logic into proofs of Intuitionistic Linear Logic given by the Girard Translation is extended with the rules for recursion such that an embedding of terms of the λrec-calculus into terms of the linear λrec-calculus is induced via the extended Curry-Howard isomorphisms. This embedding is shown to be sound with respect to the categorical interpretations.