Loader and Urzyczyn Are Logically Related.

Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt

Browse the full ICALP paper archive.