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