Polynomially Grade Logic I: A Graded Version of System T

Anil Nerode, Jeffrey B. Remmel, Andre Scedrov

Browse the full LICS paper archive.