From positive and intuitionistic bounded arithmetic to monotone proof complexity.

Anupam Das

Browse the full LICS paper archive.