The Girard Translation extended with recursion

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0022245 ◽

1995 ◽

pp. 31-45 ◽

Author(s):

Torben Braüner

Download Full-text