The Girard Translation Extended with Recursion (1995)

by RS-95-13 Torben Braüner
Venue:in Proceedings of CSL '94, LNCS