Hereditary Harrop Formulas and Uniform Proof Systems

Dale Miller, Gopalan Nadathur, Andre Scedrov

Browse the full LICS paper archive.