T. Braüner, “The Girard Translation Extended with Recursion”, BRICS, vol. 2, no. 13, Jan. 1995.