Torben Braüner The Girard Translation Extended with Recursion. 31-45 1994 conf/csl/1994 CSL db/conf/csl/csl94.html#Brauner94 http://dx.doi.org/10.1007/BFb0022245