View of The Girard Translation Extended with Recursion

Return to Article Details The Girard Translation Extended with Recursion Download Download PDF