Braüner, T. The Girard Translation Extended With Recursion. BRICS 1995, 2.