The Girard Translation extended with recursion
1995 ◽
pp. 31-45
◽